BetaRare
zetzit/zz
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
Archived: this repository is read-only
- Owner
- zetzit (organization)
- Stars
- Stars: 1,596
- Forks
- Forks: 56
- Language
- Rust
- License
- MIT
- Created
- 2019
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Rust
All Rust repos- matheus-git/systemd-manager-tuiStars: 1,598RustBeta
- crate-ci/cargo-releaseStars: 1,597RustBeta
- orbitinghail/graftStars: 1,597RustBeta
- egoist/wakuStars: 1,593RustBeta
- BurntSushi/memchrStars: 1,592RustBeta
- PolyMeilex/NeothesiaStars: 1,592RustBeta