sby
homebrewv0.64Front-end for Yosys-based formal verification flows
License ISCpermissive1 versions1 maintainers2 deps6 weekly dl
61
/ 100
Health
safe to use
[email protected] is safe to use (health: 61/100)
Health breakdown0 – 100
25/25
maintenance
0/20
popularity
25/25
security
9/15
maturity
2/15
community
Vulnerabilities
0
none known
Health History
Dependency Tree
License Audit
Dependencies (2)
API access
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/homebrew/sbyLast updated · 2026-04-09T13:19:32Z