aallan / vera
Vera: a programming language designed for LLMs to write
Why this job: works in the areas we cover, but does not say which job it does
What it does
Programming languages have always co-evolved with their users. Assembly emerged from hardware constraints. C from operating systems. Python from productivity needs. If models become the primary authors of code, it follows that languages should adapt to that too.
Get started
python -m venv .venv
source .venv/bin/activate
# Windows: .venv\Scripts\activate
python -m pip install veralang You need: Python 3.11+; Node.js 22+ *(optional, for browser runtime and parity tests)*
- Maintenance
- Active
- Last commit today
- Stars
- 421
- +1 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v0.2.7
- Released 6 days ago
- Built with
- Python
- 99% of the code
Is it looked after?
- Contributors
- 2
- Last 90 days
- Issues
- 88% closed
- 116 still open
- Pull requests
- 829 merged
- 0 waiting
- Releases
- 219
- 30+ in the last year
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| BoundaryML / baml | 9,504 | today | Apache-2.0 | Mac, Windows, Linux |
| Micrurus-Ai / Corvid-lang | 258 | 3 months ago | MIT | Mac, Windows, Linux |
| Gabriella439 / grace | 623 | 5 months ago | BSD-3-Clause | No downloads |
More: languages, topics and project record
Languages
- Python 99%
- JavaScript 1%
- Vim Script <1%
Topics
- algebraic-effects
- contracts
- formal-verification
- llm
- parser
- programming-language
- verification
- webassembly
Project record
- JobOther AI tools
- StatusListed
- Commits3,324
- Forks29
- Watching1
- Stars in 28 days+6
- CreatedFeb 22, 2026
- First seen by usNov 7, 2026
- CheckedNov 12, 2026