AlphaUncommon
AeneasVerif/eurydice
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
- Owner
- AeneasVerif (organization)
- Stars
- Stars: 437
- Forks
- Forks: 19
- Language
- C
- License
- Apache-2.0
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by AeneasVerif
All 3 repos by AeneasVerif- AeneasVerif/aeneasStars: 1,146OCamlBeta
- AeneasVerif/charonStars: 472RustAlpha
Nearby in C
All C repos- sagb/alttabStars: 437CAlpha
- chronotruck/FlagPhoneNumberStars: 437CAlpha
- notaroomba/keybytesStars: 437CAlpha
- ansilove/ansiloveStars: 437CAlpha
- natashenka/Tamagotchi-HackStars: 437CAlpha