formal-land / coq-of-rustLinks
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
β986Updated last month
Alternatives and similar repositories for coq-of-rust
Users that are interested in coq-of-rust are comparing it to the libraries listed below
Sorting:
- Verified Rust for low-level systems codeβ2,051Updated last week
- Creusot helps you prove your code is correct in an automated fashion.β1,342Updated this week
- Refinement Types for Rustβ783Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.β1,688Updated 2 weeks ago
- A Rust verification toolβ321Updated this week
- A verification toolchain for Rust programsβ411Updated this week
- Inject bugs and see if your tests catch them!β990Updated last week
- Logic programming in Rustβ509Updated 2 weeks ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β355Updated this week
- Kani Rust Verifierβ2,701Updated last week
- Verifying the Rust standard libraryβ296Updated last week
- Compiler front-end foundation technology.β473Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"β937Updated last month
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β661Updated 4 months ago
- Rust port of Spice, a low-overhead parallelization libraryβ683Updated 5 months ago
- An IDE extension for debugging trait errors in Rust.β277Updated last month
- Rust debugger for Linux x86-64β1,179Updated last week
- Fast and simple benchmarking for Rust projectsβ1,238Updated 6 months ago
- Algebraic effects for Rustβ638Updated last year
- β1,627Updated 2 weeks ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.β812Updated 2 months ago
- Rust programs written entirely in Rustβ857Updated 5 months ago
- Rust bindings for the Z3 solver.β438Updated this week
- β β session types for Rustβ208Updated 3 months ago
- An Extensible Compiler IR Frameworkβ215Updated last week
- Shuttle is a library for testing concurrent Rust codeβ871Updated last week
- β174Updated 7 months ago
- π Async-first sharded hashmap for Rust.β534Updated 9 months ago
- A very fast linker for Linuxβ2,826Updated this week
- Add hardship to your testsβ1,054Updated last week