AeneasVerif/eurydice
CApache-2.0active
Health
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Health Breakdown
Activity25
Community13
Maintenance11
Popularity25
Should you contribute to AeneasVerif/eurydice?
AeneasVerif/eurydice has a FoundDev health score of 74/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.
Last push was 1 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in C, so prior C experience will shorten ramp-up.
Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.
Community
CApache 2.0
active
1d ago
