Alternatives and similar repositories for cff

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

• costa-group / gasol-optimizer
  ☆110Updated 4 months ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• manifoldfinance / mev-corpus
  MEV Data Corpus
  ☆93Updated 3 years ago
• primitivefinance / rmm-core
  Primitive Replicating Market Maker smart contracts
  ☆131Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• pdaian / mev
  Miner extractable value modeling and tools.
  ☆125Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 4 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆76Updated 4 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 6 months ago
• euler-xyz / uni-v3-twap-manipulation
  ☆118Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆138Updated 2 years ago
• FrankieIsLost / TWAMM
  ☆126Updated 3 years ago
• para-dave / twamm
  TWAMM Reference Implementation
  ☆124Updated 4 years ago
• flashbots / eth2-research
  Assessing the nature and impact of MEV in eth2.
  ☆67Updated 2 years ago
• a16z / metamorphic-contract-detector
  ☆164Updated 3 years ago
• FrankieIsLost / gradual-dutch-auction
  An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.
  ☆211Updated 3 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆195Updated 5 months ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated 2 years ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 3 years ago
• primitivefinance / rmms-py
  Python simulator to test implementation of the RMMS paper results.
  ☆56Updated 3 years ago
• hacxyk / hacxyk-lab
  Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork
  ☆68Updated 3 years ago
• ethereum / evmdasm
  A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library
  ☆57Updated 2 years ago
• libevm / cpo
  Chief Proxy Operator
  ☆134Updated 3 years ago
• Crypto-Virus / cream-finance-exploit-example
  ☆119Updated 4 years ago
• Jon-Becker / heimdall
  Powerful Ethereum Smart-Contract Toolkit
  ☆89Updated 2 years ago
• argotorg / solidity-underhanded-contest
  Website for the Underhanded Solidity Contest
  ☆169Updated 11 months ago
• maxsam4 / bad-lending-demo
  ☆31Updated 3 years ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆82Updated 2 years ago
• tintinweb / smart-contract-storage-viewer
  🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder
  ☆122Updated last year