AeneasVerif/eurydice
Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
OCamlApache-2.0
Stargazers
- afrizaloky@ghiscure
- AngelOnFira@rivet-gg
- clarusFormal Land
- davidsemakulaKampala, Uganda
- dwsLatitude AI
- Et7f3
- fogtiChemnitz
- gapryMacau, Macao
- gleachkrDraper Laboratory
- Hua-hanaShanghai Jiao Tong University
- JeffCarpenterCanada
- levzzz5154727 foundation
- lqd
- matteobusiItaly
- mmcloughlinAurora Innovation
- mratsim@status-im @numforge
- mrnossiomMontreuil, France
- ortolanrjCloud
- pretentious7
- PSS1998
- RaitoBezariusIndependent Contributor
- randombitVermont
- ruipedro16Max Planck Institute for Security & Privacy
- smondetNew York, NY
- sqrtsanta