Toolleeo's Links
Toolleeo's Links
Tag cloud
Daily
RSS Feed
Login
Delete
Set public
Set private
Remember me
5401
shaares
131
private links
5401
shaares ·
131
private links
Filters
Links per page
20
50
100
zz - rust inspired transpiler and symbolic verifier to bare metal C
ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C.
tools
·
programming
·
coding_lang:rust
·
source_code
·
opensource
Fri Feb 7 19:27:14 2020 * ·
permalink
·
https://github.com/aep/zz
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
Are you sure you want to delete this tag?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community
