{"adoption": {"forks": 56, "observed_at": "2026-08-28T04:05:09.337849+00:00", "stars": 1598}, "canonical_url": "https://ross.abutalabs.com/products/zz", "card": {"archived": true, "artifact_type": "cli-tool", "description": "🍺🐙  ZetZ a zymbolic verifier and tranzpiler to bare metal C", "domain": ["programming-languages", "compilers", "embedded-systems", "security", "developer-tools"], "enriched": true, "function": ["compiler", "programming-language", "security", "developer-tools"], "health_score": 10, "homepage": null, "language": "Rust", "license": "MIT", "license_family": "permissive", "maturity": "maintenance", "member_repos": ["zetzit/zz"], "name": "zetzit/zz", "platform": ["windows", "cli", "embedded", "wasm", "rust"], "pushed_at": "2022-06-17T01:37:37+00:00", "repo": "zetzit/zz", "stars": 1598, "tags": ["transpiler", "symbolic-execution", "formal-verification", "c-abi", "bare-metal", "smt-prover", "embedded-firmware", "linux", "macos"], "topics": [], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/zz", "repo": "zetzit/zz", "role": "main", "score": 10}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.337849+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:53:28.654803+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "ce7c58fa4d5f724573eb978ea92bb0e60e22e74c0bdc55345a1fa420a4daf5c7", "fetched_at": "2026-08-28T04:05:09.337849+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zetzit/zz"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "archived"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2631, "days_push": 1539, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 10, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}