PrototypeCommon
owo-lang/minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
- Owner
- owo-lang (organization)
- Stars
- Stars: 123
- Forks
- Forks: 5
- Language
- Rust
- License
- Apache-2.0
- Created
- 2019
- Topics
- type-theorydependent-typesprogramming-language
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by owo-lang
All 2 repos by owo-lang- owo-lang/voile-rsStars: 100RustPrototype
Nearby in Rust
All Rust repos- Jorji49/streamtopStars: 123RustPrototype
- ghuntley/preflightStars: 123RustPrototype
- LinkSy-mg/linksy-desktopStars: 123RustPrototype
- Geal/rust-syslogStars: 123RustPrototype
- gnzlbg/ctestStars: 123RustPrototype
- martindeegan/droneStars: 123RustPrototype