Tullio Facchinetti
Tag cloud
Picture wall
Daily
RSS Feed
  • RSS Feed
  • ATOM Feed
  • Daily Feed
Filters

Links per page

  • 20 links
  • 50 links
  • 100 links

Display

Filter untagged links
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
QRCode

ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C.

coding_lang:rust opensource programming source_code tools
3660 links
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Theme by kalvn