Verus
/All repositories
Overview
HEALTH SCORE
Excellent
91out of 100
Strong maintainer coverage and development cadence. Security posture is the only remaining gap.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent(91/100)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 0 days.
Bus factor
31 active maintainers currently have merge rights.
Organization Diversity
Contributors span 329 organizations.
Project Achievements
Leaderboards
About
Verus is a verification framework and programming language built on Rust that enables formal verification of systems software. It allows developers to write and verify code using mathematical proofs to ensure correctness and safety properties.
First commit
Software value
$19M
License(s)
MIT
Links
Data sources
Git
GitHub