Vera is an open-source programming language specifically designed for large language models to write code. It enforces mandatory contracts, uses algebraic effects, and compiles to WebAssembly. Vera aims to make code generated by LLMs more verifiable and robust for AI researchers and developers.
Latest indexed changes and source events
veralang.dev discovered by the PulseGate indexer
Other apps tracked under the same category.
