☆51Jun 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 week
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆34May 14, 2025Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated last month
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆82Aug 17, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆41May 7, 2026Updated 5 months ago
- A verifier that integrates LLMs into automated C program verification☆19Apr 4, 2026Updated 6 months ago
- tool for turning Lean proofs into Blender animations☆100Dec 28, 2025Updated 9 months ago
- Formal verification of Rust code with AI-assisted specification and proof.☆21Sep 29, 2026Updated last week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆44Apr 7, 2026Updated 6 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆148Aug 30, 2026Updated last month
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 5 months ago
- ☆12Dec 25, 2023Updated 2 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆118Jul 8, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆19Sep 21, 2025Updated last year
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated 2 weeks ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆44Nov 12, 2025Updated 10 months ago
- Probabilistic programming with programmable variational inference.☆22Jul 13, 2026Updated 2 months ago
- ☆38Aug 20, 2026Updated last month
- Repository for "Training Language Models To Explain Their Own Computations"☆38Jul 7, 2026Updated 3 months ago
- White-box automation for Lean 4☆407Updated this week
- This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆18Jan 3, 2026Updated 9 months ago
- Make/Encode some basic logic puzzles☆21Jul 10, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆33Jul 22, 2025Updated last year
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆29Sep 28, 2026Updated last week
- ☆25Nov 17, 2025Updated 10 months ago
- A verifier for automated and interactive proofs about transition systems.☆325Updated this week
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆26Updated this week
- ☆14Sep 4, 2023Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆21Mar 11, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- ☆119Aug 24, 2026Updated last month
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆461Sep 29, 2026Updated last week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆102Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆313Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Sep 15, 2026Updated 3 weeks ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆227Updated this week