ZetZ: A zymbolic verifier and tranzpiler to bare metal C Resourcesgithub.com/zetzit2 pointstosh5 years ago