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 3 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• Philogy / evm-glue
  ☆80Updated 2 weeks ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 2 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 2 years ago
• recmo / yul
  ☆102Updated last year
• jtriley2p / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆79Updated last year
• fe-lang / sonatina
  ☆48Updated 2 weeks ago
• chainbound / fiber-rs
  Fiber client in Rust
  ☆49Updated last month
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 7 months ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• Lilyjjo / tldr-research
  Suave/TEE PoCs of MEV Resistant AMMs
  ☆39Updated 2 weeks ago
• hrkrshnn / solc-ast-rs
  Rust bindings for Solidity's AST and visitors
  ☆50Updated last year
• ralexstokes / beacon-api-client
  A client for the Ethereum beacon node APIs
  ☆38Updated last year
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆50Updated 2 years ago
• parmanuxyz / solidity-analyzer
  Solidity LSP server written in rust
  ☆57Updated 4 months ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆104Updated 4 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆32Updated 4 months ago
• 0xalpharush / static-analysis-and-compilers
  Eclectic notes on static analysis and compilers
  ☆47Updated 2 years ago
• gakonst / ethers-fireblocks
  ethers-rs middleware and signer for Fireblocks' APIs
  ☆48Updated 10 months ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• gakonst / rust-ethereum-book
  Book showing how to interact with Ethereum from Rust
  ☆40Updated 3 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆50Updated last week
• 0xMelkor / mev-price-prediction
  An MEV back-running template for ethers-rs
  ☆72Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 2 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆45Updated 2 months ago
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆54Updated 4 months ago
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year