AlphaPeu commune
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
- Propriétaire
- pikelet-lang (organisation)
- Étoiles
- Étoiles : 620
- Forks
- Forks : 27
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2017
- Sujets
- dependent-typestypecheckertype-theoryprogramming-languagetype-systembidirectional-typecheckingrustdependent-record-typesdependent-recordssystems-language
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- matrixorigin/memoriaÉtoiles : 621RustAlpha
- mrdimidium/nanoidÉtoiles : 620RustAlpha
- mookid/diffrÉtoiles : 620RustAlpha
- Fullstop000/wickdbÉtoiles : 619RustAlpha
- PSeitz/lz4_flexÉtoiles : 619RustAlpha