mpu / lambda
A small λ-calculus interpreter in C
☆50Updated 10 years ago
Alternatives and similar repositories for lambda:
Users that are interested in lambda are comparing it to the libraries listed below
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- My Own Linear Lisp☆39Updated 6 years ago
- SKI combinators☆54Updated 7 years ago
- Scheme on SECD☆42Updated 4 years ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆61Updated 3 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 9 months ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated 2 months ago
- Self-hosting compiler for the Grace programming language☆39Updated 9 months ago
- The Egel Programming Language☆84Updated 2 months ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 11 months ago
- ☆21Updated 11 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 7 years ago
- The fluffy programming language main repository☆24Updated 12 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆42Updated 6 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months 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
- lambda calculus interpreter☆40Updated 3 years ago
- Simple C Haskell Compiler☆22Updated last year
- ☆85Updated 4 years ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆37Updated this week
- ☆64Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- quick c☆35Updated 2 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 10 years ago