zetzit/zz
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 0
- Release rhythm 35
- Longevity 100
Flags: no_releases archived
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2631
- days_rel: n/a
- days_push: 1539
- n_releases_24m: 0
Adoption not part of the score
1598 stars · 56 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
ZetZ is a C dialect and transpiler that emits plain ANSI C while formally verifying all code via symbolic execution with an SMT prover at compile time. It targets bare metal MCUs, embedded Linux, and WASM, and produces cross-platform libraries with a clean C ABI.
Use cases
- write formally verified embedded firmware
- transpile a safe language to plain C
- build cross-platform C libraries without dynamic memory
- verify C code for undefined behavior at compile time
- target arduino or esp32 with a modern language
- integrate verified code into zephyr or freertos projects
When to choose
- you need C ABI output with compile-time mathematical proof of defined behavior
- you work on heapless embedded systems where C is the standard interface
- you want rust-like ergonomics but must ship plain C to vendor compilers
When to avoid
- you need garbage collection, coroutines, or stack unwinding
- you want a large ecosystem and active development, as the project has had no releases since 2022
- you need heap allocation as a first-class pattern
Facets
cli-tool · maturity maintenance
compiler programming-language security developer-tools programming-languages compilers embedded-systems security developer-tools windows cli embedded wasm rust transpiler symbolic-execution formal-verification c-abi bare-metal smt-prover embedded-firmware linux macos
1 source
- readme: https://github.com/zetzit/zz · fetched 2026-08-28 · ce7c58fa4d5f
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| zetzit/zz | main | 10 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem