Alternatives and similar repositories for soteria

Users that are interested in soteria are comparing it to the libraries listed below

• formalsec / smtml

  View on GitHub
  An SMT solver frontend for OCaml
  ☆60Updated this week
• SJTU-PLV / CompCert

  View on GitHub
  The CompCert formally-verified C compiler
  ☆10Feb 9, 2026Updated last week
• PoignardAzur / scoped_tasks_prototype

  View on GitHub
  A quick-and-dirty attempt to get scoped tasks in Rust.
  ☆14Jun 4, 2023Updated 2 years ago
• verus-lang / verusfmt

  View on GitHub
  An Opinionated Formatter for Verus
  ☆16Updated this week
• astronights / hypors

  View on GitHub
  Hypothesis Testing for Polars
  ☆21Aug 2, 2025Updated 6 months ago
• AeneasVerif / charon

  View on GitHub
  Analyze Rust crates without touching compiler internals
  ☆292Updated this week
• tmcgilchrist / ocaml-debug-performance

  View on GitHub
  Notes on OCaml debugging and performance
  ☆16Jan 29, 2026Updated 2 weeks ago
• ocaml / code-of-conduct

  View on GitHub
  Documents related to the Code of Conduct
  ☆17Apr 18, 2025Updated 10 months ago
• LoipesMas / cargo-select

  View on GitHub
  Cargo subcommand to easily run targets/examples
  ☆18Aug 24, 2022Updated 3 years ago
• kurtschelfthout / minidiff

  View on GitHub
  A minimal reference implementation of automatic differentiation in Rust
  ☆17Sep 23, 2022Updated 3 years ago
• pjlast / heml

  View on GitHub
  ☆19Jul 27, 2024Updated last year
• cryspen / hax

  View on GitHub
  A Rust verification tool
  ☆377Updated this week
• neysofu / reltester

  View on GitHub
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Aug 27, 2023Updated 2 years ago
• notgull / smol-hyper

  View on GitHub
  `smol` integrations with `hyper`
  ☆17Jul 30, 2025Updated 6 months ago
• BWStearns / circadian_tools

  View on GitHub
  ☆21Oct 20, 2023Updated 2 years ago
• kpreid / exhaust

  View on GitHub
  Exhaustive iteration trait in Rust
  ☆21Feb 1, 2026Updated 2 weeks ago
• GillianPlatform / Gillian

  View on GitHub
  The Gillian Platform main repository
  ☆95Dec 8, 2025Updated 2 months ago
• danielhenrymantilla / stackbox.rs

  View on GitHub
  `&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)
  ☆25Aug 11, 2024Updated last year
• fprasx / peapod

  View on GitHub
  Ultra-compact storage for collections of enums 🌱
  ☆23Sep 12, 2022Updated 3 years ago
• notgull / smol-axum

  View on GitHub
  `smol` integrations with `axum`
  ☆22Jul 30, 2025Updated 6 months ago
• jmacadie / timeseries

  View on GitHub
  A rust library built to support building time-series based projection models
  ☆21Nov 21, 2022Updated 3 years ago
• wishawa / enjoin

  View on GitHub
  syntax-level async join enabling branching control flow and shared mutable borrow
  ☆27Apr 14, 2023Updated 2 years ago
• entity-neural-network / entity-gym-rs

  View on GitHub
  Rust bindings for entity-gym.
  ☆25Jan 22, 2023Updated 3 years ago
• yoshuawuyts / async-iterator

  View on GitHub
  An async version of iterator
  ☆41Jun 11, 2024Updated last year
• audunhalland / unimock

  View on GitHub
  A versatile and developer-friendly trait mocking library
  ☆79Nov 8, 2025Updated 3 months ago
• c-cube / linol

  View on GitHub
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆37Dec 1, 2025Updated 2 months ago
• ihciah / certain-map

  View on GitHub
  A typed map which can make sure item exist.
  ☆36Oct 30, 2024Updated last year
• KeKsBoTer / wgpu_sort

  View on GitHub
  WebGPU/wgpu Radix Key-Value Sort
  ☆42Jul 15, 2024Updated last year
• rust-lang / surveys

  View on GitHub
  Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.
  ☆36Feb 3, 2026Updated 2 weeks ago
• backtracking / bitv

  View on GitHub
  OCaml bit vector library
  ☆34Dec 19, 2025Updated last month
• rustfoundation / foundation.rust-lang.org

  View on GitHub
  website for Rust Foundation
  ☆29Jan 16, 2025Updated last year
• rust-lang / project-stable-mir

  View on GitHub
  Define compiler intermediate representation usable by external tools
  ☆102Nov 20, 2025Updated 2 months ago
• maplant / marche

  View on GitHub
  c'est le marché
  ☆41Jun 16, 2023Updated 2 years ago
• hopv / rust-horn

  View on GitHub
  RustHorn: A CHC-based automated verifier for Rust
  ☆89Mar 14, 2025Updated 11 months ago
• unic0rn9k / slas

  View on GitHub
  Static Linear Algebra System
  ☆37Aug 14, 2023Updated 2 years ago
• Consensys / qbft-formal-spec-and-verification

  View on GitHub
  ☆11Jun 24, 2024Updated last year
• Blobby-Boi / LaterGG

  View on GitHub
  Guide for fullscreening and bypassing the now.gg time limit.
  ☆11Feb 18, 2025Updated 11 months ago
• yugr / uInit

  View on GitHub
  Instructions on obtaining stable benchmarks results on modern Linux distro
  ☆18Feb 10, 2026Updated last week
• moia-oss / tinytime.rs

  View on GitHub
  Low overhead Rust implementation of time-related concepts
  ☆12Updated this week