lambda-calculus-interpreter

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.

An iterative untyped lambda calculus interpreter written in JavaScript.

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

An untyped lambda calculus interpreter

An interpreter for the Untyped Lambda Calculus written in Go.

Interpreter and REPL for "Lambda Discipline," a functional programming language

The C port of the Python version of this repo

Interactive lambda calculus playground - parser, type checker, evaluator, proof-tree visualization, and Curry–Howard correspondence, plus a VS Code extension.

REPL for the lambda calculus

A simple computing models simulator in Rust

An implementation of Forsp, a Forth/Lisp Hybrid Lambda Calculus Language

minimal lambda interpreter in c99