DavisPL-Teaching / 119Links
Data processing pipelines
☆13Updated this week
Alternatives and similar repositories for 119
Users that are interested in 119 are comparing it to the libraries listed below
Sorting:
- Yet another Rust MIR analysis tool☆15Updated 3 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated last year
- ☆62Updated 2 years ago
- ☆50Updated 2 weeks ago
- A tool for synthesis of Rust code, very early prototype☆13Updated last year
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 8 months ago
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- ☆162Updated last year
- A tool for auditing Rust crates☆23Updated last month
- An automated deductive program verifier based on concurrent separation logic☆25Updated this week
- A community preview of ongoing formal verification efforts for Asterinas☆37Updated this week
- Interface with the rustc compiler for the purpose of program verification☆211Updated this week
- Verifying the Rust standard library☆308Updated last week
- ☆23Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆26Updated last week
- ☆14Updated 5 years ago
- An Opinionated Formatter for Verus☆14Updated 3 weeks ago
- A fully automated Rust fuzz driver generator☆60Updated 5 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- ☆34Updated 3 months ago
- A curated list of awesome Rust checkers☆50Updated 7 months ago
- PC-miner tool for program chairs☆29Updated 2 months ago
- Thesis code☆26Updated 2 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- The Gillian Platform main repository☆92Updated this week
- The CompCert formally-verified C compiler☆10Updated 2 weeks ago