# AeneasVerif/charon

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

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

AeneasVerif/charon, dépôt open source à 473 étoiles sur GitHub. Carte Alpha de RepoMasters. Analyze Rust crates without touching compiler internals

| Champ | Valeur |
| --- | --- |
| Propriétaire | [AeneasVerif](https://repo.masters-masters.com/owners/AeneasVerif) |
| Étoiles | 473 |
| Forks | 72 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2021 |
| Sujets | compiler, formal-methods, formal-verification, program-verification, rust, rust-lang, static-analysis |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [AeneasVerif/charon](https://github.com/AeneasVerif/charon) |

## Fiche du dépôt

Analyze Rust crates without touching compiler internals

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de AeneasVerif

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

## D’autres dépôts Rust

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.