BêtaRare
zetzit/zz
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
Archivé : ce dépôt n’évolue plus
- Propriétaire
- zetzit (organisation)
- Étoiles
- Étoiles : 1 596
- Forks
- Forks : 56
- Langage
- Rust
- Licence
- MIT
- Création
- 2019
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- matheus-git/systemd-manager-tuiÉtoiles : 1 598RustBêta
- crate-ci/cargo-releaseÉtoiles : 1 597RustBêta
- orbitinghail/graftÉtoiles : 1 597RustBêta
- egoist/wakuÉtoiles : 1 593RustBêta
- BurntSushi/memchrÉtoiles : 1 592RustBêta
- PolyMeilex/NeothesiaÉtoiles : 1 592RustBêta