VE
aallan/vera
Vera: a programming language designed for LLMs to write
57 3 +2/wk
GitHub
algebraic-effects contracts formal-verification llm parser programming-language verification webassembly
Trend
4
Star & Fork Trend (10 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
aallan/vera has +2 stars this period . 7-day velocity: 7.5%.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | vera | adeu | craftdesk | legend-of-elya-n64 |
|---|---|---|---|---|
| Stars | 57 | 57 | 57 | 57 |
| Forks | 3 | 8 | 5 | 12 |
| Weekly Growth | +2 | +2 | +0 | +0 |
| Language | Python | Python | TypeScript | C |
| Sources | 1 | 1 | 1 | 1 |
| License | MIT | MIT | N/A | N/A |
Capability Radar vs adeu
vera
adeu
Maintenance Activity 100
Last code push 0 days ago.
Community Engagement 26
Fork-to-star ratio: 5.3%. Lower fork ratio may indicate passive usage.
Issue Burden 70
Issue data not yet available.
Growth Momentum 100
+2 stars this period — 3.51% 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.