PyPI page
Home page
Author:
Alasdair Allan
Summary:
Vera: a programming language designed for LLMs, with full contracts, algebraic effects, and typed slot references
Latest version:
0.2.4
Required dependencies:
lark
|
wasmtime
|
z3-solver
Optional dependencies:
lsprotocol
|
matplotlib
|
mutmut
|
mypy
|
pip-licenses
|
pre-commit
|
pygls
|
pytest
|
pytest-cov
|
pytest-timeout
|
pytest-xdist
|
ruff
|
veralang
Downloads last day:
94
Downloads last week:
324
Downloads last month:
239
7-day smoothing