Alternatives and similar repositories for cff

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

• costa-group / gasol-optimizer
  ☆109Updated 2 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• pdaian / mev
  Miner extractable value modeling and tools.
  ☆125Updated 3 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆78Updated 3 years ago
• euler-xyz / uni-v3-twap-manipulation
  ☆118Updated last year
• manifoldfinance / mev-corpus
  MEV Data Corpus
  ☆93Updated 2 years ago
• primitivefinance / rmm-core
  Primitive Replicating Market Maker smart contracts
  ☆131Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆137Updated 2 years ago
• flashbots / eth2-research
  Assessing the nature and impact of MEV in eth2.
  ☆68Updated 2 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• Jon-Becker / heimdall
  Powerful Ethereum Smart-Contract Toolkit
  ☆89Updated 2 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆192Updated 3 months ago
• CodeForcer / greeden-geth
  Geth client which picks the most profitable blocks to mine using a greedy algorithm
  ☆81Updated 3 years ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆83Updated 2 years ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 3 years ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 3 months ago
• libevm / cpo
  Chief Proxy Operator
  ☆134Updated 3 years ago
• FrankieIsLost / TWAMM
  ☆125Updated 3 years ago
• yieldprotocol / yield-liquidator-v2
  Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans
  ☆77Updated 2 years ago
• Crypto-Virus / cream-finance-exploit-example
  ☆121Updated 3 years ago
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆206Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 4 years ago
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆145Updated last year
• csienslab / ProMutator
  ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
  ☆40Updated 3 years ago
• Arachnid / flashbots-proxy
  An Ethereum RPC proxy that makes composing and submitting flashbots bundles easy
  ☆140Updated 2 years ago
• a16z / metamorphic-contract-detector
  ☆162Updated 3 years ago
• TokenEngineeringCommunity / BalancerPools_Model
  cadCAD model to simulate Balancer AMMs
  ☆56Updated 3 years ago
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆167Updated 3 years ago