PrototypeCommon
owo-lang/voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
- Owner
- owo-lang (organization)
- Stars
- Stars: 100
- Forks
- Forks: 6
- Language
- Rust
- License
- Apache-2.0
- Created
- 2019
- Topics
- dependent-typesextensibleprogramming-languagetype-theory
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by owo-lang
All 2 repos by owo-lang- owo-lang/minitt-rsStars: 123RustPrototype
Nearby in Rust
All Rust repos- snchimata/tokenfoldStars: 100RustPrototype
- nuskey8/lkvStars: 100RustPrototype
- carthage-software/whimStars: 100RustPrototype
- dpc/rustyhexStars: 100RustPrototype
- shockham/caperStars: 100RustPrototype
- PistonDevelopers/hematite_nbtStars: 100RustPrototype