# AeneasVerif/charon

<https://repo.masters-masters.com/en/repos/AeneasVerif/charon>

[Home](https://repo.masters-masters.com/en) › [AeneasVerif](https://repo.masters-masters.com/en/owners/AeneasVerif) › [charon](https://repo.masters-masters.com/en/repos/AeneasVerif/charon)

AeneasVerif/charon has 473 stars on GitHub. Its RepoMasters card: Alpha tier. Analyze Rust crates without touching compiler internals Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [AeneasVerif](https://repo.masters-masters.com/en/owners/AeneasVerif) |
| Stars | 473 |
| Forks | 72 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2021 |
| Topics | compiler, formal-methods, formal-verification, program-verification, rust, rust-lang, static-analysis |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [AeneasVerif/charon](https://github.com/AeneasVerif/charon) |

## Repository

Analyze Rust crates without touching compiler internals

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by AeneasVerif

- [AeneasVerif/aeneas · ★ 1,152 · OCaml · Beta](https://repo.masters-masters.com/en/repos/AeneasVerif/aeneas)
- [AeneasVerif/eurydice · ★ 437 · C · Alpha](https://repo.masters-masters.com/en/repos/AeneasVerif/eurydice)

## Nearby in Rust

- [xhyrom/zed-discord-presence · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/xhyrom/zed-discord-presence)
- [diodeinc/pcb · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/diodeinc/pcb)
- [general-works/Glint · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/general-works/Glint)
- [hsivonen/encoding\_rs · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/hsivonen/encoding_rs)
- [tafia/quick-protobuf · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/tafia/quick-protobuf)
- [knadh/dictpress · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/knadh/dictpress)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.