verus-lang / verus
Verified Rust for low-level systems code
☆1,129Updated this week
Related projects: ⓘ
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,551Updated last month
- Creusot helps you prove your code is correct in an automated fashion.☆1,113Updated this week
- Kani Rust Verifier☆2,123Updated this week
- Refinement Types for Rust☆639Updated this week
- A precise specification for "Rust lite / MIR plus"☆809Updated last week
- Shuttle is a library for testing concurrent Rust code☆652Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆607Updated 5 months ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,878Updated last month
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆398Updated this week
- Add hardship to your tests☆766Updated 3 weeks ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,268Updated this week
- Fast and simple benchmarking for Rust projects☆903Updated 2 months ago
- Command-line sampling profiler for macOS and Linux☆2,126Updated this week
- Concurrency permutation testing tool for Rust.☆2,082Updated this week
- Defines the Rust borrow checker.☆1,314Updated 3 months ago
- Hermit for Rust.☆1,659Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,100Updated 3 weeks ago
- Rust mid-level IR Abstract Interpreter☆1,000Updated 3 weeks ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,174Updated 3 weeks ago
- 🔥 Time Travel Visual Debugger for Rust☆1,247Updated 2 weeks ago
- egg is a flexible, high-performance e-graph library☆1,337Updated 2 weeks ago
- Scan your Rust crate for semver violations.☆1,128Updated this week
- Rust Memory Safety & Undefined Behavior Detection☆1,311Updated 6 months ago
- Safe Rust bindings to POSIX-ish APIs☆1,450Updated this week
- Rust programs written entirely in Rust☆749Updated 3 weeks ago
- Hypothesis-like property testing for Rust☆1,673Updated last week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 5 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,812Updated last week
- A date-time library for Rust that encourages you to jump into the pit of success.☆1,650Updated this week
- Rust grammar tool libraries and binaries☆507Updated 3 weeks ago