zetzit/zz

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

语言：Rust · GitHub 星标：1,596 · Fork：56

在 GitHub 上查看原仓库