# AeneasVerif/eurydice

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

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

AeneasVerif/eurydice, dépôt open source à 437 étoiles sur GitHub. Carte Alpha de RepoMasters. Eurydice compiles (a decent subset of) Rust to C. Verify…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [AeneasVerif](https://repo.masters-masters.com/owners/AeneasVerif) |
| Étoiles | 437 |
| Forks | 19 |
| Langage | [C](https://repo.masters-masters.com/languages/c) |
| Licence | Apache-2.0 |
| Création | 2023 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [AeneasVerif/eurydice](https://github.com/AeneasVerif/eurydice) |

## Fiche du dépôt

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

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/charon · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/repos/AeneasVerif/charon)

## D’autres dépôts C

- [chronotruck/FlagPhoneNumber · ★ 437 · C · Alpha](https://repo.masters-masters.com/repos/chronotruck/FlagPhoneNumber)
- [thatcherfreeman/utility-dctls · ★ 437 · C · Alpha](https://repo.masters-masters.com/repos/thatcherfreeman/utility-dctls)
- [brettdottech/info-orbs · ★ 437 · C · Alpha](https://repo.masters-masters.com/repos/brettdottech/info-orbs)
- [ansilove/ansilove · ★ 437 · C · Alpha](https://repo.masters-masters.com/repos/ansilove/ansilove)
- [natashenka/Tamagotchi-Hack · ★ 437 · C · Alpha](https://repo.masters-masters.com/repos/natashenka/Tamagotchi-Hack)
- [tds-fdw/tds\_fdw · ★ 437 · C · Alpha](https://repo.masters-masters.com/repos/tds-fdw/tds_fdw)

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