AlphaPeu commune
aallan/vera
Vera: a programming language designed for LLMs to write
- Propriétaire
- aallan (compte personnel)
- Étoiles
- Étoiles : 420
- Forks
- Forks : 30
- Langage
- Python
- Licence
- MIT
- Création
- 2026
- Sujets
- algebraic-effectscontractsformal-verificationllmparserprogramming-languageverificationwebassembly
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- p2r3/ArachnidiumÉtoiles : 420PythonAlpha
- fulldiagnose/antigravity-fixerÉtoiles : 420PythonAlpha
- lmy414/ai-chan-sheetsÉtoiles : 420PythonAlpha
- adamlwgriffiths/PyrrÉtoiles : 420PythonAlpha
- ggcarrots/django-carrotsÉtoiles : 420PythonAlpha
- FabriceSalvaire/CodeReviewÉtoiles : 420PythonAlpha