aallan/vera
PythonMITactiverising
Health
Vera: a programming language designed for LLMs to write
Health Breakdown
Activity25
Community25
Maintenance7
Popularity25
#algebraic-effects#contracts#formal-verification#llm#parser#programming-language#verification#webassembly
Should you contribute to aallan/vera?
aallan/vera has a FoundDev health score of 82/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.
Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Python, so prior Python experience will shorten ramp-up.
Licensed under MIT, a standard OSI-approved license — safe to contribute to under normal employer IP policies.
Community
PythonMIT
activerising
0d ago
