Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

HerrmannM/eole

Éole, a Lévy-optimal lambda calculus evaluator without oracle

Owner
HerrmannM (personal account)
Stars
Stars: 115
Forks
Forks: 4
Language
Rust
License
GPL-3.0
Created
2019
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

Nearby in Rust

All Rust repos