🍺🐙 ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C
Primary LanguageRustMIT LicenseMIT
No issues in this repository yet.