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
  ☆37Updated 3 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 11 months ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆34Updated last month
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆105Updated 8 months ago
• Philogy / evm-glue
  ☆81Updated 4 months ago
• chainbound / fiber-rs
  Fiber client in Rust
  ☆49Updated last month
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 2 years ago
• nethoxa / rakoon
  Transaction fuzzer on steroids for the Ethereum Protocol
  ☆14Updated 3 weeks ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 10 months ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆46Updated 2 years ago
• davebryson / revmup
  A smart-contract api and client for revm
  ☆18Updated last year
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• fe-lang / sonatina
  ☆50Updated 2 weeks ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• jtriley2p / sol-fun
  ☆22Updated 2 years ago
• loocapro / reth-bsc
  A BSC-compatible implementation of the Reth client, using Reth's NodeBuilder API.
  ☆44Updated this week
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• michaelneuder / optimistic-relay-documentation
  ☆33Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• crytic / echidna-parade
  ☆29Updated last year
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year
• gakonst / ethers-fireblocks
  ethers-rs middleware and signer for Fireblocks' APIs
  ☆49Updated last year
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated last week
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆62Updated 8 months ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• ultrasoundmoney / mev-analysis
  Supporting code for relay.ultrasound.money
  ☆26Updated 3 weeks ago