PrototypeCommon
polarity-lang/polarity
A language with dependent data and codata types
- Owner
- polarity-lang (organization)
- Stars
- Stars: 141
- Forks
- Forks: 10
- Language
- Rust
- License
- Apache-2.0
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- withnative/nativeStars: 141RustPrototype
- Xenox-developer/ai-protocolStars: 141RustPrototype
- hungry-detective/downloadcraftStars: 141RustPrototype
- rust-embedded/rust-spidevStars: 141RustPrototype
- Keats/dbmigrateStars: 141RustPrototype
- ivanceras/curtainStars: 141RustPrototype