clark800 / lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
☆77Updated this week
Alternatives and similar repositories for lambda-zero:
Users that are interested in lambda-zero are comparing it to the libraries listed below
- A small and expressive dependently typed language☆129Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 3 years ago
- Charity Programming Language☆39Updated 9 years ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆61Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- The Makam Metalanguage☆198Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- SKI combinators☆54Updated 7 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- A prototypical dependently typed languages with sized types and variances☆107Updated 2 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A prototype programming language for programming with runners☆89Updated 3 years ago
- The Silk Programming Language☆79Updated 3 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- The functional Haskell kernel☆134Updated 9 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- The Egel Programming Language☆84Updated 2 months ago
- Simple C Haskell Compiler☆22Updated last year