Alternatives and similar repositories for smtlib-rs

Users that are interested in smtlib-rs are comparing it to the libraries listed below

• kino-mc / rsmt2

  View on GitHub
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆68Mar 5, 2024Updated last year
• Philogy / create3crunch

  View on GitHub
  A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.
  ☆19May 24, 2025Updated 8 months ago
• calebh / dihash

  View on GitHub
  Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
  ☆16Dec 29, 2025Updated last month
• yihozhang / relational-ematching-benchmark

  View on GitHub
  ☆16Jan 5, 2022Updated 4 years ago
• adizere / rem-poc

  View on GitHub
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Jan 5, 2025Updated last year
• vorot93 / otterscan-rs

  View on GitHub
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Jul 20, 2022Updated 3 years ago
• AdrienChampion / hashconsing

  View on GitHub
  A Rust hashconsing library.
  ☆38Jul 15, 2024Updated last year
• jonathanGB / Unbounded-Interval-Tree

  View on GitHub
  Interval Tree In Rust
  ☆20Oct 22, 2022Updated 3 years ago
• awslabs / rust-smt-ir

  View on GitHub
  ☆43Jun 28, 2025Updated 7 months ago
• nlordell / cow-trade-simulation

  View on GitHub
  Proof of concept trade simulation using state overrides
  ☆23Sep 8, 2022Updated 3 years ago
• sigp / tree_hash

  View on GitHub
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆23Feb 5, 2026Updated last week
• cathieyun / bfv12

  View on GitHub
  toy implementation of bfv in rust
  ☆27Apr 21, 2022Updated 3 years ago
• teabound / egui-cfg

  View on GitHub
  egui library for displaying control flow graphs using petgraph, and rust sugiyama.
  ☆32Dec 28, 2025Updated last month
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• wackywendell / basicalloc

  View on GitHub
  ☆15Jul 2, 2023Updated 2 years ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆19Feb 6, 2026Updated last week
• paradigmxyz / state_growth

  View on GitHub
  ☆16Mar 29, 2024Updated last year
• nethoxa / rakoon

  View on GitHub
  Transaction fuzzer on steroids for the Ethereum Protocol
  ☆14May 9, 2025Updated 9 months ago
• lpil / lww-register-crdt

  View on GitHub
  The last-write-wins register CRDT
  ☆16Nov 10, 2024Updated last year
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• andreafioraldi / store-interval-tree

  View on GitHub
  A balanced unbounded interval-tree in Rust with associated values in the nodes
  ☆13Nov 22, 2022Updated 3 years ago
• transmissions11 / reth-exex-walltime

  View on GitHub
  wall time exex for reth
  ☆12Aug 5, 2024Updated last year
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• phantomzone-org / obfustopia

  View on GitHub
  We're living in Obfustopia
  ☆27Jan 2, 2025Updated last year
• foundry-rs / getfoundry.sh

  View on GitHub
  Official Foundry landing page
  ☆17Jun 28, 2023Updated 2 years ago
• Railgun-Privacy / circuits-v2

  View on GitHub
  RAILGUN Circuits V2
  ☆24Sep 26, 2025Updated 4 months ago
• celestia-island / yuuka

  View on GitHub
  A helper library to generate complex and nested structures by a simple macro
  ☆14Updated this week
• ghiliweld / sszb

  View on GitHub
  High Performance SSZ Implementation
  ☆14Jan 1, 2025Updated last year
• flashbots / eth-sparse-mpt

  View on GitHub
  Caching sparse Merkle Patricia Trie for reth.
  ☆12Nov 18, 2024Updated last year
• phip1611 / simple-chunk-allocator

  View on GitHub
  A simple allocator written in Rust that manages memory in fixed-size chunks.
  ☆12Sep 29, 2024Updated last year
• iFrostizz / rustry

  View on GitHub
  Based Ethereum framework for writing tests in Rust
  ☆12Dec 17, 2023Updated 2 years ago
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• cairoeth / sp1-eof

  View on GitHub
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Apr 27, 2025Updated 9 months ago
• thibmeu / tlock-rs

  View on GitHub
  Rust encryption library for practical time-lock encryption.
  ☆37Jul 19, 2024Updated last year
• DaniPopes / zevm

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 2 months ago
• not-matthias / eac-analysis

  View on GitHub
  Analyzing the driver and internal module of EasyAntiCheat.
  ☆40May 1, 2023Updated 2 years ago
• vusec / triereme

  View on GitHub
  ☆17Aug 31, 2023Updated 2 years ago
• model-checking / kani-vscode-extension

  View on GitHub
  Kani VSCode Extension
  ☆19Updated this week
• newDINO / xvk_droid

  View on GitHub
  A vulkan loader for termux to load android driver with x11 functionalities.
  ☆12Aug 9, 2025Updated 6 months ago