GitHub repository: ComprosoftCEO/rusty-lambda
Primary language: Rust
Description: A Rust implementation of Lambda calculus