verus-lang / verusLinks
Verified Rust for low-level systems code
☆1,918Updated this week
Alternatives and similar repositories for verus
Users that are interested in verus are comparing it to the libraries listed below
Sorting:
- Kani Rust Verifier☆2,580Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,285Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆923Updated this week
- Refinement Types for Rust☆740Updated this week
- A very fast linker for Linux☆2,195Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆1,956Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,996Updated 6 months ago
- egg is a flexible, high-performance e-graph library☆1,512Updated 3 weeks ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,420Updated this week
- Magical Rust patterns laid out and simplified☆1,784Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- Concurrency permutation testing tool for Rust.☆2,386Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"☆874Updated last week
- Defines the Rust borrow checker.☆1,452Updated 2 weeks ago
- ☆1,563Updated last month
- Inject bugs and see if your tests catch them!☆930Updated this week
- Multi-platform high-performance compute language extension for Rust.☆1,505Updated this week
- 🔥 Time Travel Visual Debugger for Rust☆1,616Updated 2 months ago
- Hermit for Rust.☆1,795Updated this week
- Rust debugger for Linux x86-64☆1,110Updated last month
- Add hardship to your tests☆993Updated last month
- Fast and simple benchmarking for Rust projects☆1,155Updated 2 months ago
- Cranelift based backend for rustc☆1,804Updated this week
- A datetime library for Rust that encourages you to jump into the pit of success.☆2,321Updated last week
- Scan your Rust crate for semver violations.☆1,411Updated this week
- A high-level distributed programming framework for Rust☆920Updated this week
- Shuttle is a library for testing concurrent Rust code☆815Updated this week
- A fast bump allocation arena for Rust☆1,782Updated 2 weeks ago
- Command-line sampling profiler for macOS, Linux, and Windows☆3,131Updated this week