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:
- My Own Linear Lisp☆41Updated 6 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- SKI combinators☆55Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A tiny CPU☆20Updated 16 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- A Small Combinator-Reduction System☆15Updated 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 2 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆74Updated 8 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Val Schorre's META-II☆60Updated 11 years ago
- A small λ-calculus interpreter in C☆57Updated 10 years ago
- s7 Scheme☆58Updated 6 years ago
- Continuation Passing C☆113Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Absal ex☆58Updated last year
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago