☆52Jun 5, 2026Updated 4 months ago
Alternatives and similar repositories for vericoding-benchmark
Users that are interested in vericoding-benchmark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tools and benchmarks for verified coding☆35Jun 5, 2026Updated 4 months ago
- ☆29Sep 26, 2026Updated last month
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆35May 14, 2025Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 2 months ago
- Coinductive Interaction Trees in Lean4 using QPFs☆20Oct 18, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated 2 weeks ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- Formal verification of Rust code with AI-assisted specification and proof.☆22Updated this week
- Verifying curve25519-dalek using Lean☆14Oct 12, 2026Updated 2 weeks ago
- Armv8 Native Code Symbolic Simulator in Lean☆120Jul 8, 2026Updated 3 months ago
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆83Aug 17, 2026Updated 2 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆150Oct 20, 2026Updated last week
- Vermilion: Verus meets Lean☆62Updated this week
- Render and run context-rich Lean 4 prompts in VS Code.☆11Aug 14, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Oct 11, 2026Updated 2 weeks ago
- ☆41May 7, 2026Updated 5 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 3 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Oct 18, 2026Updated last week
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆31Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆12Dec 25, 2023Updated 2 years ago
- A Lean implementation of Interaction Trees☆19Jan 13, 2025Updated last year
- Practical Alloy☆12Feb 28, 2025Updated last year
- AI-Assisted Verification of Data Structures☆25May 27, 2026Updated 5 months ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Push style event combinator in OCaml☆14Feb 10, 2013Updated 13 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆69Dec 12, 2024Updated last year
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆45Nov 12, 2025Updated 11 months ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆20Sep 21, 2025Updated last year
- Static human-facing explorer for the Palomar database☆15Updated this week
- ☆19Oct 21, 2026Updated last week