zetzit/zz
View on GitHub ↗ ★ 1,596 Rust archived
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
21 mentions on Hacker News by 11 people: 2 stories, 19 comments · first 2020-02-05 · latest 2022-03-19
20082026
-
▲ 2
ZetZ: A zymbolic verifier and tranzpiler to bare metal C Resourcesstory by tosh · 2021-05-03 · 0 comments
-
▲ 266
ZZ is a modern formally provable dialect of Cstory by the_duke · 2020-02-05 · 153 comments