An Opinionated Formatter for Verus
☆22Oct 28, 2026Updated this week
Alternatives and similar repositories for verusfmt
Users that are interested in verusfmt 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
- ☆24Feb 2, 2026Updated 9 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- A memory allocator verified with Verus☆41Oct 25, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A high-performance, asynchronous runtime-agnostic alternative to `tokio::watch`.☆16Aug 20, 2026Updated 2 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- ☆29Sep 26, 2026Updated last month
- Storage systems with verified correctness properties☆85Updated this week
- ☆133Aug 24, 2026Updated 2 months ago
- AI-assisted verification of Dafny Programs☆21Nov 9, 2025Updated 11 months ago
- ☆24Oct 6, 2026Updated 3 weeks ago
- An asynchronous single-consumer single-producer pipe for bytes☆17Aug 11, 2026Updated 2 months ago
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Substring searching in rust☆16May 1, 2016Updated 10 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated last year
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- Arbitrary width integers☆31Aug 26, 2026Updated 2 months ago
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- Super lightweight and dead-simple CI detection.☆15Feb 4, 2024Updated 2 years ago
- Verified Rust for low-level systems code☆3,529Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- 遍历设备树二进制对象☆16Jun 20, 2026Updated 4 months ago
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Analyze Rust crates without touching compiler internals☆470Updated this week
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- JAX interpreter for Vulkan☆16Jun 1, 2021Updated 5 years ago
- Tag the safety properties of the Rust standard library.☆23Sep 11, 2026Updated last month
- Benchmarking library for stable Rust☆56Jul 25, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Refinement type checking and inference tool for Rust☆25Updated this week
- A Flexible and Efficient Proof Checker for SMT Solvers☆36Updated this week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆244Updated this week
- ☆52Jun 30, 2025Updated last year
- Support for linearly-typed generics in Haskell☆10Jun 18, 2026Updated 4 months ago
- Makes it possible to really use concatenated idents in Rust.☆26Apr 23, 2024Updated 2 years ago