verus-lang / verusLinks
Verified Rust for low-level systems code
β2,020Updated 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,678Updated last week
- Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦β980Updated 2 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.β1,331Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,681Updated last week
- Refinement Types for Rustβ772Updated this week
- Source code of Ferrocene, safety-critical Rust toolchainβ1,469Updated this week
- A very fast linker for Linuxβ2,749Updated this week
- A precise specification for "Rust lite / MIR plus"β932Updated 2 weeks ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.β2,164Updated last week
- π₯ Time Travel Visual Debugger for Rustβ1,648Updated 6 months ago
- Inject bugs and see if your tests catch them!β977Updated last week
- Concurrency permutation testing tool for Rust.β2,461Updated last month
- Fast and simple benchmarking for Rust projectsβ1,230Updated 5 months ago
- Add hardship to your testsβ1,046Updated 2 months ago
- Hermit for Rust.β1,825Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,541Updated last week
- β1,614Updated 4 months ago
- Rust reflection, serialization, deserialization, pretty printing, etc. β the last proc macro you should needβ2,012Updated this week
- Rust debugger for Linux x86-64β1,171Updated last week
- Verifying the Rust standard libraryβ292Updated last week
- A free book about developing secure and robust systems software.β1,371Updated 2 months ago
- Shuttle is a library for testing concurrent Rust codeβ868Updated last week
- Defines the Rust borrow checker.β1,508Updated 3 months ago
- Magical Rust patterns laid out and simplifiedβ1,809Updated last month
- Command-line sampling profiler for macOS, Linux, and Windowsβ3,440Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donβt have to.β2,037Updated 2 weeks ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β657Updated 3 months ago
- Scan your Rust crate for semver violations.β1,490Updated last week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nβ¦β1,309Updated 2 weeks ago
- Multi-platform high-performance compute language extension for Rust.β1,698Updated this week