TopNewBestAskShowJobs
1.
ZetZ: A zymbolic verifier and tranzpiler to bare metal C Resources (github.com/zetzit)
2 points
tosh
5 years ago
discuss