GitHub repository: peirick/zz
Primary language: Rust
Description: 🍺🐙  ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C