verus-lang / verusLinks
Verified Rust for low-level systems code
☆1,969Updated 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,620Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,664Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,309Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆953Updated last week
- A very fast linker for Linux☆2,256Updated this week
- Refinement Types for Rust☆753Updated this week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,440Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,005Updated 7 months ago
- A precise specification for "Rust lite / MIR plus"☆914Updated last week
- 🔥 Time Travel Visual Debugger for Rust☆1,637Updated 4 months ago
- egg is a flexible, high-performance e-graph library☆1,536Updated last week
- Defines the Rust borrow checker.☆1,480Updated last month
- Concurrency permutation testing tool for Rust.☆2,424Updated 3 months ago
- Add hardship to your tests☆1,012Updated this week
- Command-line sampling profiler for macOS, Linux, and Windows☆3,252Updated this week
- Rust debugger for Linux x86-64☆1,130Updated 2 weeks ago
- ☆1,599Updated 2 months ago
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆1,993Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆650Updated last month
- Shuttle is a library for testing concurrent Rust code☆835Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,491Updated this week
- Inject bugs and see if your tests catch them!☆950Updated this week
- Magical Rust patterns laid out and simplified☆1,796Updated 3 months ago
- Verifying the Rust standard library☆262Updated this week
- Hermit for Rust.☆1,807Updated this week
- Rust Memory Safety & Undefined Behavior Detection☆1,347Updated last year
- Multi-platform high-performance compute language extension for Rust.☆1,595Updated this week
- Fast and simple benchmarking for Rust projects☆1,197Updated 3 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,285Updated this week
- Rust mid-level IR Abstract Interpreter☆1,011Updated 11 months ago