verified-programming

Here are 3 public repositories matching this topic...

hyperpolymath / proven

Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.

Updated Apr 2, 2026
Idris

yurrriq / vfp-in-agda

Star

📖 Verified Functional Programming in Agda

learning functional-programming book theorem-proving agda verified-programming

Updated Jan 1, 2018
Agda

aallan / vera-bench

Sponsor

Star

VeraBench: a benchmark suite for LLM code generation in Vera

programming-language benchmark verification code-generation contracts formal-verification vera verified-programming llm

Updated Mar 31, 2026
Python

Improve this page

Add a description, image, and links to the verified-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verified-programming topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly