soteria-tools / soteriaView external linksLinks
Sound static analysis for the masses.
☆50Updated this week
Alternatives and similar repositories for soteria
Users that are interested in soteria are comparing it to the libraries listed below
Sorting:
- An SMT solver frontend for OCaml☆60Updated this week
- The CompCert formally-verified C compiler☆10Feb 9, 2026Updated last week
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 2 years ago
- An Opinionated Formatter for Verus☆16Updated this week
- Hypothesis Testing for Polars☆21Aug 2, 2025Updated 6 months ago
- Analyze Rust crates without touching compiler internals☆292Updated this week
- Notes on OCaml debugging and performance☆16Jan 29, 2026Updated 2 weeks ago
- Documents related to the Code of Conduct☆17Apr 18, 2025Updated 10 months ago
- Cargo subcommand to easily run targets/examples☆18Aug 24, 2022Updated 3 years ago
- A minimal reference implementation of automatic differentiation in Rust☆17Sep 23, 2022Updated 3 years ago
- ☆19Jul 27, 2024Updated last year
- A Rust verification tool☆377Updated this week
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Aug 27, 2023Updated 2 years ago
- `smol` integrations with `hyper`☆17Jul 30, 2025Updated 6 months ago
- ☆21Oct 20, 2023Updated 2 years ago
- Exhaustive iteration trait in Rust☆21Feb 1, 2026Updated 2 weeks ago
- The Gillian Platform main repository☆95Dec 8, 2025Updated 2 months ago
- `&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)☆25Aug 11, 2024Updated last year
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- `smol` integrations with `axum`☆22Jul 30, 2025Updated 6 months ago
- A rust library built to support building time-series based projection models☆21Nov 21, 2022Updated 3 years ago
- syntax-level async join enabling branching control flow and shared mutable borrow☆27Apr 14, 2023Updated 2 years ago
- Rust bindings for entity-gym.☆25Jan 22, 2023Updated 3 years ago
- An async version of iterator☆41Jun 11, 2024Updated last year
- A versatile and developer-friendly trait mocking library☆79Nov 8, 2025Updated 3 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆37Dec 1, 2025Updated 2 months ago
- A typed map which can make sure item exist.☆36Oct 30, 2024Updated last year
- WebGPU/wgpu Radix Key-Value Sort☆42Jul 15, 2024Updated last year
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆36Feb 3, 2026Updated 2 weeks ago
- OCaml bit vector library☆34Dec 19, 2025Updated last month
- website for Rust Foundation☆29Jan 16, 2025Updated last year
- Define compiler intermediate representation usable by external tools☆102Nov 20, 2025Updated 2 months ago
- c'est le marché☆41Jun 16, 2023Updated 2 years ago
- RustHorn: A CHC-based automated verifier for Rust☆89Mar 14, 2025Updated 11 months ago
- Static Linear Algebra System☆37Aug 14, 2023Updated 2 years ago
- ☆11Jun 24, 2024Updated last year
- Guide for fullscreening and bypassing the now.gg time limit.☆11Feb 18, 2025Updated 11 months ago
- Instructions on obtaining stable benchmarks results on modern Linux distro☆18Feb 10, 2026Updated last week
- Low overhead Rust implementation of time-related concepts☆12Updated this week