A lambda calculus interpreter written in C.
-
Updated
Oct 7, 2017 - C
A lambda calculus interpreter written in C.
⚙️ A simple lambda (λ) calculus interpreter
Lambda calculus interpreter written in Java
minimal lambda interpreter in c99
lambda calculus interpreter
essential lambda
An implementation of untyped λ-calculus (lambda calculus) in Elixir
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
An untyped lambda calculus interpreter
Pure untyped lambda calculus in safe Rust.
An iterative untyped lambda calculus interpreter written in JavaScript.
Large Scale Type Systems (programming language)
REPL for the lambda calculus
A place for me to learn/ experiment with interpreters/compilers
Add a description, image, and links to the lambda-calculus-interpreter topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus-interpreter topic, visit your repo's landing page and select "manage topics."