clark800 / lambda-zeroLinks
minimalist pure lazy functional programming language (pythonic haskell)
☆79Updated 7 months ago
Alternatives and similar repositories for lambda-zero
Users that are interested in lambda-zero are comparing it to the libraries listed below
Sorting:
- Charity Programming Language☆40Updated 10 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- Plasma Programming Language☆166Updated 6 months ago
- The adventures of a Haskell compiler☆232Updated last week
- The Egel Programming Language☆83Updated 5 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A declarative concatenative programming language☆166Updated last month
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated 2 months ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- SKI combinators☆55Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- The Makam Metalanguage☆200Updated 2 years ago
- A website for the #proglangdesign community on freenode☆112Updated last month
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- source code for the bondi programming language☆41Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- The functional Haskell kernel☆140Updated 9 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 5 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆119Updated 4 years ago
- The future of programming.☆69Updated 4 years ago