verus-lang / verusLinks
Verified Rust for low-level systems code
β1,983Updated this week
Alternatives and similar repositories for verus
Users that are interested in verus are comparing it to the libraries listed below
Sorting:
- Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦β964Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,666Updated last week
- Kani Rust Verifierβ2,632Updated this week
- Creusot helps you prove your code is correct in an automated fashion.β1,316Updated last week
- A very fast linker for Linuxβ2,274Updated last week
- Refinement Types for Rustβ759Updated this week
- Source code of Ferrocene, safety-critical Rust toolchainβ1,454Updated this week
- A precise specification for "Rust lite / MIR plus"β919Updated last month
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.β2,012Updated 8 months ago
- π₯ Time Travel Visual Debugger for Rustβ1,639Updated 4 months ago
- Inject bugs and see if your tests catch them!β956Updated last week
- Concurrency permutation testing tool for Rust.β2,441Updated last week
- A free book about developing secure and robust systems software.β1,362Updated last month
- Command-line sampling profiler for macOS, Linux, and Windowsβ3,318Updated last week
- Defines the Rust borrow checker.β1,486Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,510Updated this week
- Hermit for Rust.β1,810Updated last week
- Rust debugger for Linux x86-64β1,138Updated 2 weeks ago
- Add hardship to your testsβ1,022Updated 3 weeks ago
- A simple, fast, and secure operating system for the cloud.β943Updated this week
- Shuttle is a library for testing concurrent Rust codeβ841Updated this week
- Verifying the Rust standard libraryβ265Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nβ¦β1,300Updated this week
- β1,601Updated 3 months ago
- An interpreter for Rust's mid-level intermediate representationβ5,377Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donβt have to.β2,004Updated this week
- Multi-platform high-performance compute language extension for Rust.β1,637Updated this week
- Magical Rust patterns laid out and simplifiedβ1,802Updated last week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)β2,661Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β652Updated 2 months ago