peberlein / c_lambda_calculusLinks
Lambda calculus with Church encoding in C
☆31Updated 7 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:
- My Own Linear Lisp☆42Updated 7 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Attribute grammar Based Language Extensions for C☆41Updated last month
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated 2 weeks ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- SKI combinators☆55Updated 8 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 8 years ago
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 10 years ago
- Automatically compile and link C programs☆16Updated 15 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆38Updated 5 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- A small λ-calculus interpreter in C☆57Updated 11 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 6 months ago
- s7 Scheme☆58Updated 6 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆94Updated 5 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- Hope programming language interpreter☆42Updated 6 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- Joel Bartlett's fabled Scheme->C system☆84Updated 5 years ago
- ☆79Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Editor for language composition☆58Updated 2 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 3 years ago