Alternatives and similar repositories for symbolic-stack-machines:

Users that are interested in symbolic-stack-machines are comparing it to the libraries listed below

• williamberman / evm-symbolic-execution
  ☆36Updated 2 years ago
• Philogy / evm-glue
  ☆79Updated 2 months ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated last year
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆47Updated last month
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year
• jtriley-eth / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆79Updated last year
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆54Updated 3 months ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated 3 months ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆104Updated 3 months ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 2 months ago
• gio256 / erigon-db
  Fully typed access to the Erigon db in rust
  ☆102Updated 2 years ago
• gakonst / ethers-fireblocks
  ethers-rs middleware and signer for Fireblocks' APIs
  ☆48Updated 9 months ago
• fe-lang / sonatina
  ☆48Updated 3 weeks ago
• hrkrshnn / solc-ast-rs
  Rust bindings for Solidity's AST and visitors
  ☆49Updated last year
• 0xMelkor / mev-price-prediction
  An MEV back-running template for ethers-rs
  ☆72Updated last year
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• mattsse / defi-bindings
  rust bindings for various defi projects
  ☆65Updated 2 years ago
• chainbound / fiber-rs
  Fiber client in Rust
  ☆48Updated 3 weeks ago
• euler-xyz / euler-oracle-tools
  ☆34Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago