peberlein / c_lambda_calculusLinks
Lambda calculus with Church encoding in C
☆31Updated 6 years ago
Alternatives and similar repositories for c_lambda_calculus
Users that are interested in c_lambda_calculus are comparing it to the libraries listed below
Sorting:
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- My Own Linear Lisp☆41Updated 7 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- s7 Scheme☆58Updated 6 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 3 months ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆68Updated last week
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Continuation Passing C☆113Updated 6 years ago
- Small Fast S-Expression Library☆80Updated 8 months ago
- The adventures of a Haskell compiler☆231Updated 3 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- SKI combinators☆55Updated 8 years ago
- A tiny self-hosting Lisp-to-C compiler☆239Updated 5 years ago
- ☆79Updated 6 years ago
- A Lisp-like language implemented in C++☆76Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- ☆87Updated 4 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- An interpreter for a J-inspired language☆91Updated 2 years ago
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 12 years ago
- Editor for language composition☆58Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆160Updated 3 years ago