GitHub - xr0-org/xr0: The Xr0 Verifier for C The Xr0 Verifier for C. Contribute to xr0-org/xr0 development by creating an account on GitHub.

Xr0 Makes C Safer than Rust:

github.com/xr0-org/xr0

#memorysafe #cprogramming #saferc