Projects in Awesome Lists tagged with verified-programming
A curated list of projects in awesome lists tagged with verified-programming .
https://github.com/aallan/vera-bench
VeraBench: a benchmark suite for LLM code generation in Vera
benchmark code-generation contracts formal-verification llm programming-language vera verification verified-programming
Last synced: 08 Jun 2026
https://github.com/yurrriq/vfp-in-agda
:book: Verified Functional Programming in Agda
agda book functional-programming learning theorem-proving verified-programming
Last synced: 29 Jan 2026
