PrototypeCommune
owo-lang/minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
- Propriétaire
- owo-lang (organisation)
- Étoiles
- Étoiles : 123
- Forks
- Forks : 5
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2019
- Sujets
- type-theorydependent-typesprogramming-language
- 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/voile-rsÉtoiles : 100RustPrototype
D’autres dépôts Rust
Tous les dépôts Rust- hadc188/readerÉtoiles : 123RustPrototype
- Jorji49/streamtopÉtoiles : 123RustPrototype
- ghuntley/preflightÉtoiles : 123RustPrototype
- Geal/rust-syslogÉtoiles : 123RustPrototype
- gnzlbg/ctestÉtoiles : 123RustPrototype
- martindeegan/droneÉtoiles : 123RustPrototype