Large Scale Type Systems (programming language)
-
Updated
Aug 21, 2024 - Rust
Large Scale Type Systems (programming language)
A place for me to learn/ experiment with interpreters/compilers
REPL for the lambda calculus
An iterative untyped lambda calculus interpreter written in JavaScript.
Pure untyped lambda calculus in safe Rust.
An untyped lambda calculus interpreter
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
An implementation of untyped λ-calculus (lambda calculus) in Elixir
essential lambda
lambda calculus interpreter
minimal lambda interpreter in c99
Lambda calculus interpreter written in Java
⚙️ A simple lambda (λ) calculus interpreter
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."