/zz

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

Primary LanguageRustMIT LicenseMIT

Stargazers