lambda-calculus-interpreter
There are 2 repositories under lambda-calculus-interpreter topic.
- LSTS
andrew-johnson-4 / LSTS
Large Scale Type Systems (programming language)
Language:Rust 99 lenguyenthanh / compilers
A place for me to learn/ experiment with interpreters/compilers
Language:Scala 12jimouris / lambda-calculus-interpreter
⚙️ A simple lambda (λ) calculus interpreter
Language:Haskell 10- Language:Java 8
- Language:Rust 6
OganyanRV / Beta-reduction
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
Language:C++ 3- Language:Jupyter Notebook 3
barrettotte / wyvern
An untyped lambda calculus interpreter
Language:Rust 2bediger4000 / lambda-calculator
lambda calculus interpreter
Language:C 2maxpohlmann / Alonzo
An implementation of untyped λ-calculus (lambda calculus) in Elixir
Language:Elixir 2n-alex-goncalves / LambdaCalculusInterpreter
An iterative untyped lambda calculus interpreter written in JavaScript.
Language:JavaScript 2wangdxh / essential-of-Lambda
essential lambda
Language:Java 2Deric-W / lambda_repl
REPL for the lambda calculus
Language:Python 1frangaren / c-lambda-calculus-interpreter
A lambda calculus interpreter written in C.
Language:C 0nodatapoints / mulambda
minimal lambda interpreter in c99
Language:C 0
