Tullio Facchinetti
Tag cloud
Picture wall
Daily
Search
RSS Feed
RSS Feed
ATOM Feed
Daily Feed
Filters
Links per page
20 links
50 links
100 links
Display
Filter untagged links
tags
search
zz - rust inspired transpiler and symbolic verifier to bare metal C
https://github.com/aep/zz
Fri 07 Feb 2020 08:27:14 PM CET
ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C.
3660 links