# AeneasVerif/eurydice

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

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

AeneasVerif/eurydice has 437 stars on GitHub. Its RepoMasters card: Alpha tier. Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust…

| Field | Value |
| --- | --- |
| Owner | [AeneasVerif](https://repo.masters-masters.com/en/owners/AeneasVerif) |
| Stars | 437 |
| Forks | 19 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | Apache-2.0 |
| Created | 2023 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [AeneasVerif/eurydice](https://github.com/AeneasVerif/eurydice) |

## Repository

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

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

## Nearby in C

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

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