asterinas/vostd
RustMPL-2.0active
Health
A community preview of ongoing formal verification efforts for Asterinas
Health Breakdown
Activity25
Community13
Maintenance10
Popularity20
Should you contribute to asterinas/vostd?
asterinas/vostd has a FoundDev health score of 67/100, which means activity is steady but not booming. Worth contributing to if the project is in your wheelhouse, but expect slower review cycles than a top-tier repo.
Last push was 0 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 Rust, so prior Rust experience will shorten ramp-up.
Licensed under MPL-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.
Community
RustMPL 2.0
active
0d ago