<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
zetzit/zz
πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
Rust
Stars 1599
Forks 52
Watchers 1599
Open issues 32
License MIT License
Details
δ»εΊδΏ‘ζ―
Owner
zetzit
Homepage
β
GitHub
https://github.com/zetzit/zz
Last pushed
2022-06-17
Last updated
2025-12-15
Issues fetched at
β
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--