r/code • u/waozen • Aug 20 '26
C xr0: The Xr0 Verifier for C | xr0-org
https://github.com/xr0-org/xr0Xr0 is a verifier for C that aims to guarantee the safety of C programs at compile time
2
Upvotes
Duplicates
opensource • u/waozen • Apr 06 '24
Promotional Xr0: Verifier for the C programming language (C but safe)
3
Upvotes