Alternatives and similar repositories for lydia

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

• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆46Updated 2 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Updated last year
• williamberman / evm-symbolic-execution
  ☆37Updated 3 years ago
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆23Updated last year
• 0xrusowsky / etheasy
  Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.
  ☆28Updated 11 months ago
• Jon-Becker / argus-rs
  Argus is a minimal, blazing fast contract storage introspection tool written in rust.
  ☆13Updated 3 months ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 10 months ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 3 weeks ago
• jtriley2p / vy-deepdive
  Vyper Deep Dive Notes and Scripts
  ☆26Updated last year
• refcell / geth-x
  Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.
  ☆22Updated 2 years ago
• fuzzland / rethdb
  Thread-safe implementation of revm DB that directly fetch data from Reth DB
  ☆27Updated 9 months ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆33Updated 2 weeks ago
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆41Updated last year
• AmadiMichael / tstore-huff-template
  Tstore huff template
  ☆17Updated last year
• baolean / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆13Updated 2 years ago
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆21Updated 2 years ago
• Quertyy / reth-private-transaction
  ☆36Updated 5 months ago
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• cakevm / huff-neo
  huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.
  ☆29Updated 3 weeks ago
• anthias-labs / arbiter-template
  Minimal template for using the Arbiter framework for simulations.
  ☆46Updated 4 months ago
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 2 months ago
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated last year
• y-pakorn / mev-share-ctf-rs
  ☆27Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• halo3mic / suave-playground
  ☆20Updated 9 months ago
• franz101 / mev-olympics
  MEV Olympics
  ☆45Updated 5 months ago
• 0xMelkor / mev-price-prediction
  An MEV back-running template for ethers-rs
  ☆75Updated 3 weeks ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year