Large Scale Type Systems: ML/C Hybrid Programming Language
A place for me to learn/ experiment with interpreters/compilers
⚙️ A simple lambda (λ) calculus interpreter
Lambda calculus interpreter written in Java
Pure untyped lambda calculus in safe Rust.
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
An iterative untyped lambda calculus interpreter written in JavaScript.
lambda calculus interpreter
essential lambda
An implementation of untyped λ-calculus (lambda calculus) in Elixir
An untyped lambda calculus interpreter
The C port of the Python version of this repo
REPL for the lambda calculus
A simple computing models simulator in Rust
minimal lambda interpreter in c99
A lambda calculus interpreter written in C.
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."