lambda-calculus-interpreter
There are 2 repositories under lambda-calculus-interpreter topic.
- LSTS
Lambda-Mountain-Compiler-Backend / LSTS
Large Scale Type Systems: ML/C Hybrid Programming Language
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 7
n-alex-goncalves / LambdaCalculusInterpreter
An iterative untyped lambda calculus interpreter written in JavaScript.
Language:JavaScript 3OganyanRV / 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 2wangdxh / essential-of-Lambda
essential lambda
Language:Java 2Deric-W / lambda_repl
REPL for the lambda calculus
Language:Python 1dhodgson615 / Lambda-Calculus-Interpreter-C
The C port of the Python version of this repo
Language:C 1frangaren / c-lambda-calculus-interpreter
A lambda calculus interpreter written in C.
Language:C 0nodatapoints / mulambda
minimal lambda interpreter in c99
Language:C 0dpunv / computing_simulator
A simple computing models simulator in Rust
Language:Rust- Language:C++
