AlphaPeu commune
AeneasVerif/eurydice
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
- Propriétaire
- AeneasVerif (organisation)
- Étoiles
- Étoiles : 437
- Forks
- Forks : 19
- Langage
- C
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de AeneasVerif
Les 3 dépôts de AeneasVerif- AeneasVerif/aeneasÉtoiles : 1 146OCamlBêta
- AeneasVerif/charonÉtoiles : 472RustAlpha
D’autres dépôts C
Tous les dépôts C- sagb/alttabÉtoiles : 437CAlpha
- chronotruck/FlagPhoneNumberÉtoiles : 437CAlpha
- notaroomba/keybytesÉtoiles : 437CAlpha
- ansilove/ansiloveÉtoiles : 437CAlpha
- natashenka/Tamagotchi-HackÉtoiles : 437CAlpha