mpu / lambdaLinks
A small λ-calculus interpreter in C
☆56Updated 10 years ago
Alternatives and similar repositories for lambda
Users that are interested in lambda are comparing it to the libraries listed below
Sorting:
- My Own Linear Lisp☆40Updated 6 years ago
- Scheme on SECD☆42Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 6 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆63Updated 3 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆42Updated 7 years ago
- ☆21Updated 12 years ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆16Updated 3 years ago
- Tiny scheme implementation written in c++17☆28Updated 6 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 10 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- A Self-Hosting LISP to LLVM-IR Compiler☆27Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…☆71Updated 7 years ago
- Attribute grammar Based Language Extensions for C☆40Updated 2 months ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated last week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- Bottom Up Rewrite Generator☆29Updated 7 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- SKI combinators☆55Updated 8 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Updated 7 years ago
- Implementation of Scheme programming language in assembly☆25Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 8 years ago
- quick c☆35Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 weeks ago
- ☆18Updated 5 years ago