hasktran
LtuPatternFactory
hasktran | LtuPatternFactory | |
---|---|---|
2 | 1 | |
7 | 976 | |
- | - | |
0.0 | 0.0 | |
about 2 years ago | 4 months ago | |
Haskell | Haskell | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hasktran
- Remembering John Conway's FRACTRAN, a ridiculous, yet surprisingly deep language
-
A brief introduction to esoteric programming languages
One of my favorite esolangs is FRACTRAN[0], because at first glance it seems impossible to write any programs in, but a little insight from number theory (concerning prime factorization) makes it tractable. I even wrote a compiler for FRACTRAN in Haskell[1].
[0] https://en.wikipedia.org/wiki/FRACTRAN
[1] https://github.com/siraben/hasktran
LtuPatternFactory
-
design patterns
You can have a look at this for a beginning primer https://github.com/thma/LtuPatternFactory
What are some alternatives?
Orca - Esoteric Programming Language
r5rs-denot - A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
validation-selective - 💂♂️ Lightweight pure validation based on Applicative and Selective functors
rzk - An experimental proof assistant based on a type theory for synthetic ∞-categories.
discokitty - An educational implementation of some aspects of the DisCoCat framework
monad-metrics-extensible - Type-safe and extensible metrics monad over ekg
design-patterns - Design large-scale systems / 2022 / Design Patterns: Behavioral, Creational, Structural, etc. @ S.Leschev. Google Engineering Level: L6+
tagged-identity - Trivial monad transformer that allows identical monad stacks have different types
categorifier - Interpret Haskell programs into any cartesian closed category.