AlphaUncommon
AeneasVerif/charon
Analyze Rust crates without touching compiler internals
- Owner
- AeneasVerif (organization)
- Stars
- Stars: 472
- Forks
- Forks: 72
- Language
- Rust
- License
- Apache-2.0
- Created
- 2021
- Topics
- compilerformal-methodsformal-verificationprogram-verificationrustrust-langstatic-analysis
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by AeneasVerif
All 3 repos by AeneasVerif- AeneasVerif/aeneasStars: 1,146OCamlBeta
- AeneasVerif/eurydiceStars: 437CAlpha
Nearby in Rust
All Rust repos- xhyrom/zed-discord-presenceStars: 472RustAlpha
- Gality369/syzkaller-rustStars: 472RustAlpha
- duxweb/coduxStars: 472RustAlpha