SBV
/All repositories
Overview
HEALTH SCORE
Healthy*
Partial score (2/3 categories)
50out of 65
Solid development cadence. Maintainer coverage keeps the score from reaching Excellent. Security & Supply Chain is unavailable, so weights were redistributed.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Healthy*(50/65)
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
Only 1 active maintainer currently has merge rights.
Organization Diversity
Contributors span 10 organizations.
Project Achievements
Leaderboards
About
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
First commit
Software value
$1.7M
License(s)
Other
Data sources
Git
GitHub