☆117Nov 5, 2026Updated this week
Alternatives and similar repositories for vero
Users that are interested in vero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Oct 28, 2026Updated last week
- Lean 4 framework for reasoning about Triton-style kernels.☆30Updated this week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆86Aug 17, 2026Updated 2 months ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- Language models for Coq based on data collected from the coq lsp.☆32Feb 23, 2026Updated 8 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- AI-Assisted Verification of Data Structures☆26May 27, 2026Updated 5 months ago
- Vermilion: Verus meets Lean☆65Updated this week
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- A framework for scalable, distributed discovery systems.☆15Jul 8, 2026Updated 4 months ago
- ☆31Jul 16, 2025Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆50Aug 26, 2026Updated 2 months ago
- ☆136Aug 24, 2026Updated 2 months ago
- An auto-active program verifier in Lean☆136Updated this week
- Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them☆200Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆143Oct 3, 2026Updated last month
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆22Updated this week
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆154Updated this week
- ☆25Mar 24, 2023Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- GPU kernel verification with Pulse☆28Updated this week
- Clover: Closed-Loop Verifiable Code Generation☆51May 12, 2025Updated last year
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- ☆72Updated this week
- 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.
- BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the d…☆12Feb 11, 2026Updated 8 months ago
- ☆10Sep 18, 2025Updated last year
- A Lean 4 formalization of Chen's theorem (Goldbach 1+2).☆22Updated this week
- A search engine for Lean 4 declarations☆82Updated this week
- Comparator-based Lean formal mathematics eval☆50Updated this week
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- ☆17Oct 14, 2026Updated 3 weeks ago
- MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration☆36Updated this week
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- 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.
- ☆41Oct 1, 2026Updated last month
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated 2 weeks ago
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 3 years ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- ☆15Nov 12, 2025Updated 11 months ago