GitHub repository: zetzit/zz
Primary language: Rust
Description: 🍺🐙  ZetZ a zymbolic verifier and tranzpiler to bare metal C