PrototypeCommune
owo-lang/voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
- Propriétaire
- owo-lang (organisation)
- Étoiles
- Étoiles : 100
- Forks
- Forks : 6
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2019
- Sujets
- dependent-typesextensibleprogramming-languagetype-theory
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de owo-lang
Les 2 dépôts de owo-lang- owo-lang/minitt-rsÉtoiles : 123RustPrototype
D’autres dépôts Rust
Tous les dépôts Rust- snchimata/tokenfoldÉtoiles : 100RustPrototype
- nuskey8/lkvÉtoiles : 100RustPrototype
- carthage-software/whimÉtoiles : 100RustPrototype
- dpc/rustyhexÉtoiles : 100RustPrototype
- shockham/caperÉtoiles : 100RustPrototype
- PistonDevelopers/hematite_nbtÉtoiles : 100RustPrototype