Projects in Awesome Lists tagged with lambda-calculus-interpreter
A curated list of projects in awesome lists tagged with lambda-calculus-interpreter .
https://github.com/andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking
Last synced: 13 Apr 2025
https://github.com/andrew-johnson-4/lsts
Large Scale Type Systems (programming language)
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking
Last synced: 07 Apr 2025
https://github.com/lenguyenthanh/compilers
A place for me to learn/ experiment with interpreters/compilers
cats debruijn-indices functional-programming interpreter lambda-calculus lambda-calculus-interpreter programming-language scala scala-cli scala3 untyped-lambda-calculus y-combinator
Last synced: 13 Apr 2025
https://github.com/jimouris/lambda-calculus-interpreter
⚙️ A simple lambda (λ) calculus interpreter
church-numerals haskell lambda lambda-calculus lambda-calculus-interpreter
Last synced: 08 Apr 2025
https://github.com/Carnagion/lamb
Pure untyped lambda calculus in safe Rust.
functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl
Last synced: 09 May 2025
https://github.com/barrettotte/wyvern
An untyped lambda calculus interpreter
lambda-calculus lambda-calculus-interpreter
Last synced: 29 Mar 2025
https://github.com/deric-w/lambda_repl
REPL for the lambda calculus
education lambda-calculus lambda-calculus-interpreter python3 read-eval-print-loop repl
Last synced: 14 Apr 2025
https://github.com/disguisedpigeon/lambda-interpreter
A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.
diseno-de-lenguajes-de-programacion fic interpreter lambda-calculus lambda-calculus-interpreter ocaml udc
Last synced: 01 Mar 2025
