NN
verivital/nnv
Neural Network Verification Software Tool https://www.verivital.com Documentation:
142 63 +0/wk
GitHub
assured-autonomy autonomy cyber-physical cyber-physical-systems formal-methods formal-verification hybrid-systems neural-network neural-network-certification neural-network-verification reachability reachability-analysis
Trend
0
Star & Fork Trend (16 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
verivital/nnv has +0 stars this period . Velocity data will be available after more historical data is collected.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | nnv | A.C.A.S | deep-learning-models | noether |
|---|---|---|---|---|
| Stars | 142 | 141 | 143 | 143 |
| Forks | 63 | 44 | 74 | 11 |
| Weekly Growth | +0 | +0 | +0 | +0 |
| Language | MATLAB | JavaScript | Python | Python |
| Sources | 1 | 1 | 1 | 1 |
| License | N/A | GPL-3.0 | NOASSERTION | NOASSERTION |
Capability Radar vs A.C.A.S
nnv
A.C.A.S
Maintenance Activity 100
Last code push 6 days ago.
Community Engagement 20
Fork-to-star ratio: 44.4%. Active community forking and contributing.
Issue Burden 70
Issue data not yet available.
Growth Momentum 30
No measurable growth in the current period (first-day cold start expected).
License Clarity 30
No clear license detected — proceed with caution.
Risk scores are computed from real-time repository data. Higher scores indicate healthier metrics.