AeneasVerif/charon

Analyze Rust crates without touching compiler internals

Rust348 stars42 forksApache-2.0

compilerformal-methodsformal-verificationprogram-verificationrustrust-langstatic-analysis

Rankings

Daily

#5568

Weekly

#10167

Monthly

#12872

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/AeneasVerif/charon.svg)

HTML

<img src="https://trending-repos.com/badge/AeneasVerif/charon.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/AeneasVerif/charon.svg