secure-foundations / human-eval-verusLinks
☆23Updated 4 months ago
Alternatives and similar repositories for human-eval-verus
Users that are interested in human-eval-verus are comparing it to the libraries listed below
Sorting:
- ☆75Updated 2 weeks ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆48Updated 2 weeks ago
- ☆70Updated 5 months ago
- PL conference deadline countdowns☆65Updated 2 weeks ago
- ☆134Updated this week
- Language models for Coq based on data collected from the coq lsp.☆27Updated 6 months ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated last week
- ☆15Updated last week
- Collection of Automated Reasoners☆35Updated 2 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆144Updated last week
- A verifier for automated and interactive proofs about transition systems.☆180Updated 3 weeks ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Updated this week
- Separation Logic Proofs in Lean☆47Updated last week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆84Updated 2 months ago
- A SyGuS Solver☆29Updated 8 months ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆128Updated last week
- ☆30Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- Most influential papers in programming languages☆58Updated last year
- A (WIP) equality saturation tactic for Lean based on egg.☆78Updated 4 months ago
- ☆21Updated 9 months ago
- ☆40Updated this week
- Ltac2 tutorial☆46Updated 3 years ago
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆89Updated 9 months ago
- Mechanized baselines for various type system features☆18Updated 2 months ago
- Program Synthesis☆15Updated 4 years ago
- The Termination Problem Database☆29Updated 5 months ago
- Experiments on automation for Lean☆161Updated 2 weeks ago
- Communication between Coq and SAT/SMT solvers☆163Updated this week