AlphaUncommon
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
- Owner
- pikelet-lang (organization)
- Stars
- Stars: 621
- Forks
- Forks: 27
- Language
- Rust
- License
- Apache-2.0
- Created
- 2017
- Topics
- dependent-typestypecheckertype-theoryprogramming-languagetype-systembidirectional-typecheckingrustdependent-record-typesdependent-recordssystems-language
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rust
All Rust repos- hummingbird-player/hummingbirdStars: 621RustAlpha
- commonwarexyz/monorepoStars: 621RustAlpha
- solana-foundation/surfpoolStars: 621RustAlpha