japiirainen / fpLinks
A small, weird and unpractical programming language.
☆102Updated last week
Alternatives and similar repositories for fp
Users that are interested in fp are comparing it to the libraries listed below
Sorting:
- Programming with pure lambda calculus☆135Updated 2 weeks ago
- A novel approach to finding your way in APL☆147Updated last week
- A declarative concatenative programming language☆168Updated 2 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆40Updated 2 months ago
- High-level interface for low-level programming☆121Updated 3 weeks ago
- An ngn/k tutorial.☆211Updated last year
- The future of programming.☆69Updated 4 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 3 months ago
- A typed, polyglot, functional language☆206Updated this week
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- My Advent of Code solutions☆23Updated this week
- A fast functional language based on two level type theory☆392Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated last week
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- the origins of J☆63Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- ☆90Updated last year
- SKI combinators☆56Updated 8 years ago
- The adventures of a Haskell compiler☆234Updated last month
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 8 years ago
- An implementation of interaction nets in JS.☆132Updated 5 months ago
- A derivative approach to finding your way in BQN☆39Updated last week
- ☆55Updated 5 months ago
- A tiny Racket for scripting☆305Updated 4 months ago
- C plus Prolog☆165Updated 9 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- A system to amalgamate any features you want into any language you need☆26Updated 3 years ago
- A programmable virtual CPU written in untyped lambda calculus☆61Updated 3 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago