☆133Aug 24, 2026Updated 2 months ago
Alternatives and similar repositories for verus-proof-synthesis
Users that are interested in verus-proof-synthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Jan 23, 2026Updated 9 months ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆35May 14, 2025Updated last year
- ☆29Sep 26, 2026Updated last month
- Ongoing formal verification for Asterinas OSTD☆59Updated this week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- ☆24Oct 6, 2026Updated 3 weeks ago
- A memory allocator verified with Verus☆41Oct 25, 2026Updated last week
- Storage systems with verified correctness properties☆85Updated this week
- DafnyBench: A Benchmark for Formal Software Verification☆69Dec 12, 2024Updated last year
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verified Rust for low-level systems code☆3,529Updated this week
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 27, 2026Updated last week
- ☆24Updated this week
- AI-Assisted Verification of Data Structures☆26May 27, 2026Updated 5 months ago
- A formally verified security module for AMD confidential VMs☆75Sep 25, 2026Updated last month
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 6 years ago
- An Opinionated Formatter for Verus☆22Oct 28, 2026Updated last week
- vRAG: Verified Code Synthesis with Retrieval-Augmented Generation [FSE-2024]☆56Jun 9, 2024Updated 2 years ago
- ☆22Jan 31, 2026Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆244Updated this week
- Vermilion: Verus meets Lean☆63Updated this week
- Verifying the Rust standard library☆369Updated this week
- ☆107Jul 31, 2026Updated 3 months ago
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆26Oct 11, 2026Updated 3 weeks ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A verification toolchain for Rust programs☆1,142Updated this week
- The First International Workshop on Large Language Models for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated 2 years ago
- ☆15Jun 11, 2025Updated last year
- 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.
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated 2 years ago
- ☆17Oct 14, 2026Updated 2 weeks ago
- TLA embedding in Verus☆34Updated this week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago