Projects in Awesome Lists tagged with beta-reduction
A curated list of projects in awesome lists tagged with beta-reduction .
https://github.com/ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
beta-reduction church-encoding combinatory-logic debruijn embedded-iterators-encoding lambda-calculus lambda-expressions lambda-functions lambda-interpreter parigot-encoding reduction-strategies rust rust-library scott-encoding ski-combinators stump-fu-encoding
Last synced: 05 Apr 2025
https://github.com/gurbaaz27/typeless
an interpreter for λ-calculus implemented in ruby
abstract-syntax-tree beta-reduction compiler interpreter lambda-calculus lexer-parser ll1-grammar ll1-parser parser ruby
Last synced: 25 Oct 2025
https://github.com/flandrade/lambda-calculus-haskell
The λ-calculus in Haskell
beta-reduction church-encoding church-numerals haskell lambda-calculus
Last synced: 14 Jul 2025
https://github.com/null93/lambda
An untyped lambda calculus interpreter written in Scala
ast beta-reduction calculus interpreter lambda lexer parser scala symbol-table untyped
Last synced: 26 Mar 2026
https://github.com/therealprohacker/lambda
A lambda calculus evaluator in both Haskell and Python
beta-reduction functional-programming haskell lambda-calculus python3
Last synced: 17 May 2026
https://github.com/tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
beta-reduction c church-numerals de-bruijn-notation graph-reduction interpreter lambda-calculus y-combinator
Last synced: 24 Jul 2025
https://github.com/james-p-d/lambda
A simple Lambda expression interpreter in Java
beta-reduction console console-application functional-programming java lambda-calculus lambda-expressions repl
Last synced: 20 May 2026
