beta-reduction topic
List
beta-reduction repositories
lambda_calculus
98
Stars
10
Forks
Watchers
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
typeless
17
Stars
1
Forks
Watchers
an interpreter for λ-calculus implemented in ruby
TypesAndProofs
29
Stars
3
Forks
Watchers
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems