GitHub repository: CyberFlameGO/zz
Description: 🍺🐙  ZetZ a zymbolic verifier and tranzpiler to bare metal C