# zetzit/zz

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

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

zetzit/zz has 1,596 stars on GitHub. Its RepoMasters card: Beta tier. 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [zetzit](https://repo.masters-masters.com/en/owners/zetzit) |
| Stars | 1,596 |
| Forks | 56 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2019 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [zetzit/zz](https://github.com/zetzit/zz) |

## Repository

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

Archived: this repository is read-only

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in Rust

- [crate-ci/cargo-release · ★ 1,597 · Rust · Beta](https://repo.masters-masters.com/en/repos/crate-ci/cargo-release)
- [PolyMeilex/Neothesia · ★ 1,596 · Rust · Beta](https://repo.masters-masters.com/en/repos/PolyMeilex/Neothesia)
- [exoharness/exo · ★ 1,596 · Rust · Beta](https://repo.masters-masters.com/en/repos/exoharness/exo)
- [egoist/waku · ★ 1,594 · Rust · Beta](https://repo.masters-masters.com/en/repos/egoist/waku)
- [BurntSushi/memchr · ★ 1,593 · Rust · Beta](https://repo.masters-masters.com/en/repos/BurntSushi/memchr)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.