# zetzit/zz

<https://repo.masters-masters.com/repos/zetzit/zz>

[Accueil](https://repo.masters-masters.com/) › [zetzit](https://repo.masters-masters.com/owners/zetzit) › [zz](https://repo.masters-masters.com/repos/zetzit/zz)

zetzit/zz, dépôt open source à 1 596 étoiles sur GitHub. Carte Bêta de RepoMasters. 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C Langage : Rust.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [zetzit](https://repo.masters-masters.com/owners/zetzit) |
| Étoiles | 1 596 |
| Forks | 56 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2019 |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [zetzit/zz](https://github.com/zetzit/zz) |

## Fiche du dépôt

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## D’autres dépôts Rust

- [la10736/rstest · ★ 1 598 · Rust · Bêta](https://repo.masters-masters.com/repos/la10736/rstest)
- [matheus-git/systemd-manager-tui · ★ 1 598 · Rust · Bêta](https://repo.masters-masters.com/repos/matheus-git/systemd-manager-tui)
- [crate-ci/cargo-release · ★ 1 597 · Rust · Bêta](https://repo.masters-masters.com/repos/crate-ci/cargo-release)
- [moq-dev/moq · ★ 1 595 · Rust · Bêta](https://repo.masters-masters.com/repos/moq-dev/moq)
- [PolyMeilex/Neothesia · ★ 1 594 · Rust · Bêta](https://repo.masters-masters.com/repos/PolyMeilex/Neothesia)
- [BurntSushi/memchr · ★ 1 592 · Rust · Bêta](https://repo.masters-masters.com/repos/BurntSushi/memchr)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.