VE
aallan/vera
Vera: a programming language designed for LLMs to write
59 4 +4/wk
GitHub 🔥 Heating Up +11.3%
algebraic-effects contracts formal-verification llm parser programming-language verification webassembly
Trend
5
Star & Fork Trend (11 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
aallan/vera has +4 stars this period . 7-day velocity: 11.3%.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | vera | promptfoo-action | genassist | HealthWallet.me |
|---|---|---|---|---|
| Stars | 59 | 59 | 59 | 60 |
| Forks | 4 | 27 | 22 | 2 |
| Weekly Growth | +4 | +0 | +0 | +0 |
| Language | Python | TypeScript | Python | Dart |
| Sources | 1 | 1 | 1 | 1 |
| License | MIT | MIT | NOASSERTION | GPL-3.0 |
Capability Radar vs promptfoo-action
vera
promptfoo-action
Maintenance Activity 100
Last code push 0 days ago.
Community Engagement 34
Fork-to-star ratio: 6.8%. Lower fork ratio may indicate passive usage.
Issue Burden 70
Issue data not yet available.
Growth Momentum 100
+4 stars this period — 6.78% growth rate.
License Clarity 95
Licensed under MIT. Permissive — safe for commercial use.
Risk scores are computed from real-time repository data. Higher scores indicate healthier metrics.