Hacker News
Lobsters
- ZZ is a modern formally provable dialect of C https://github.com/aep/zz 22 comments c , formalmethods , plt
- ZZ is a modern formally provable dialect of C https://github.com/aep/zz 82 comments programming
- ZZ is a modern formally provable dialect of C https://github.com/aep/zz 137 comments rust
Linking pages
- so long rust, why i built ZZ – Arvid E. Picciani – internet connected microelectronics | Founder of devguard http://aep.github.io/from-rust-to-zz/ 68 comments
- GitHub - dbohdan/compilers-targeting-c: A list of compilers that can generate C code https://github.com/dbohdan/compilers-targeting-c 36 comments
- ZetZ is a Formally Verified Dialect of C https://www.infoq.com/news/2020/02/zz-formal-verified-c-dialect/ 1 comment
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
See how to search.