zetzit / zzLinks

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
β˜†1,605Updated 2 years ago

Alternatives and similar repositories for zz

Users that are interested in zz are comparing it to the libraries listed below

Sorting: