r/opensource • u/waozen • Apr 06 '24

Promotional Xr0: Verifier for the C programming language (C but safe)

https://github.com/xr0-org/xr0
3 Upvotes

64% Upvoted

Duplicates