PrototypeCommon
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
- Owner
- ljedrz (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 15
- Language
- Rust
- License
- CC0-1.0
- Created
- 2017
- Topics
- lambda-calculusrust-librarychurch-encodingrustlambda-expressionslambda-functionslambda-interpreterbeta-reductionski-combinatorsreduction-strategies
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- xianyu110/CodexPlusPlusStars: 141RustPrototype
- lifuyue/issue-finderStars: 141RustPrototype
- storytold/craft-repo-status-appStars: 141RustPrototype
- rust-embedded/rust-spidevStars: 141RustPrototype
- Keats/dbmigrateStars: 141RustPrototype
- ivanceras/curtainStars: 141RustPrototype