VE
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
126 15 +0/wk
GitHub
agda haskell neural-network specification verification
Trend
0
Star & Fork Trend (15 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
vehicle-lang/vehicle 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 | vehicle | pixlab | Stormphrax | toeicbert |
|---|---|---|---|---|
| Stars | 126 | 126 | 126 | 124 |
| Forks | 15 | 32 | 17 | 24 |
| Weekly Growth | +0 | +0 | +0 | +0 |
| Language | Haskell | Python | C++ | Python |
| Sources | 1 | 1 | 1 | 1 |
| License | NOASSERTION | BSD-2-Clause | GPL-3.0 | MIT |
Capability Radar vs pixlab
vehicle
pixlab
Maintenance Activity 100
Last code push 0 days ago.
Community Engagement 60
Fork-to-star ratio: 11.9%. 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.