View packages at a commit

Paste a `locked_commit` from your `minimal.toml`, or a recent commit from the list.

Back to search results
charon owner avatar

charon

Version: 0.1.223

Analyze Rust crates without touching compiler internals

Install package

min add charon
Toolcompilerformal-methodsformal-verification
Supply chain security
33
Advisories
25
Quality
24
Maintenance
67
Licence
100

Join the waitlist

Confirm your identity by email or GitHub.

or