AlphaUncommon
aallan/vera
Vera: a programming language designed for LLMs to write
- Owner
- aallan (personal account)
- Stars
- Stars: 420
- Forks
- Forks: 30
- Language
- Python
- License
- MIT
- Created
- 2026
- Topics
- algebraic-effectscontractsformal-verificationllmparserprogramming-languageverificationwebassembly
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- BackplaneWorks/kistackStars: 420PythonAlpha
- udaysharmadev/GravitasStars: 420PythonAlpha
- p2r3/ArachnidiumStars: 420PythonAlpha
- adamlwgriffiths/PyrrStars: 420PythonAlpha
- gbrindisi/xsssniperStars: 420PythonAlpha
- ggcarrots/django-carrotsStars: 420PythonAlpha