HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
ZetZ: A zymbolic verifier and tranzpiler to bare metal C Resources
github.com/zetzit
discuss
5 years ago
tosh
2 points