ZZ is a new C dialect with Rusty syntax and ability for formal verification through symbolic execution at compile time.
https://github.com/zetzit/zz
#c #rust #compiler #transpiler #system #programming
https://github.com/zetzit/zz
#c #rust #compiler #transpiler #system #programming
GitHub
GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C - zetzit/zz