japiirainen / fp
A small, weird and unpractical programming language.
☆102Updated this week
Alternatives and similar repositories for fp:
Users that are interested in fp are comparing it to the libraries listed below
- Programming with pure lambda calculus☆97Updated last week
- A declarative concatenative programming language☆163Updated 3 months ago
- A fast functional language based on two level type theory☆388Updated 2 years ago
- the origins of J☆62Updated last year
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆50Updated this week
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- The adventures of a Haskell compiler☆221Updated 2 months ago
- A programmable virtual CPU written in untyped lambda calculus☆48Updated 2 years ago
- A novel approach to finding your way in APL☆136Updated this week
- An ngn/k tutorial.☆200Updated 8 months ago
- A tiny Racket for scripting☆284Updated this week
- ☆89Updated 3 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 4 months ago
- ☆51Updated 5 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Apple array system☆66Updated this week
- The Egel Programming Language☆84Updated last month
- Manfred von Thun's Programming Language Joy☆88Updated last month
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- A typed, polyglot, functional language☆196Updated this week
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- A human readable quasi-concatenative programming language☆249Updated 2 weeks ago
- The Knight Programming Language☆69Updated last month
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 8 months ago
- An implementation of interaction nets in JS.☆133Updated last month