Alternatives and similar repositories for sibyl

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

• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆136Updated 2 years ago
• FrankieIsLost / TWAMM
  ☆126Updated 3 years ago
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆46Updated 2 years ago
• yieldprotocol / yield-liquidator-v2
  Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans
  ☆77Updated 3 years ago
• ControlCplusControlV / Yul-Log
  A Unified Yul+ Toolchain
  ☆44Updated 3 years ago
• Gaussian-Process / solidity-sqrt
  ☆87Updated 3 years ago
• gio256 / erigon-db
  Fully typed access to the Erigon db in rust
  ☆104Updated 3 years ago
• storming0x / foundry_strategy_mix
  Yearn Strategy Mix Using Foundry Framework
  ☆105Updated 2 years ago
• blunt-instruments / MevWallet
  MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.
  ☆153Updated 2 years ago
• ralexstokes / relay-monitor
  ☆60Updated last year
• flashbots / eth2-research
  Assessing the nature and impact of MEV in eth2.
  ☆67Updated 2 years ago
• Will-Smith11 / reconnaissance
  A proxy node example using Reth!
  ☆94Updated 2 years ago
• euler-xyz / median-oracle
  ☆79Updated 3 years ago
• ControlCplusControlV / Foundry-Yulp
  ☆74Updated 3 years ago
• openchainxyz / transaction-decoder
  ☆82Updated 2 years ago
• lightclient / erc20
  erc20 impl in evm assembly
  ☆70Updated last year
• brockelmore / HEVMHelpers
  ☆48Updated 4 years ago
• libevm / univ3-butler
  Making your life easier with simple Univ3 examples
  ☆85Updated 3 years ago
• RageTrade / core
  Perpetuals on Uniswap V3
  ☆63Updated 2 years ago
• 0xnibbler / mev-q4-2020
  ☆76Updated 3 years ago
• thegostep / awesome-mev-boost
  All awesome mev-boost related content
  ☆118Updated 3 years ago
• 0xMisaka / Sol-MagicCounter
  ☆93Updated 3 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆81Updated 3 years ago
• ScopeLift / l2-optimizoooors
  Gas efficient routers for L2 applications
  ☆115Updated 3 years ago
• lonerapier / unifap-v2
  Port of uniswap-v2 with foundry tests
  ☆73Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• gakonst / rust-ethereum-book
  Book showing how to interact with Ethereum from Rust
  ☆43Updated 4 years ago
• saucepoint / anvil-instancing
  Dockerizing anvil to run on digital ocean
  ☆59Updated 3 years ago
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Updated 3 years ago