Bookmarks (26) clear filters
-
ZetZ - a symbolic verifier and transpiler to bare metal C
πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
-
micro-mitten: simple Rust-like lang with compile-time memory management
you might not need your garbage collector
-