Alternatives and similar repositories for cff:

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

• costa-group / gasol-optimizer
  ☆108Updated 3 weeks ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆77Updated 3 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• FrankieIsLost / TWAMM
  ☆124Updated 3 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 3 years ago
• pdaian / mev
  Miner extractable value modeling and tools.
  ☆123Updated 3 years ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆144Updated 8 months ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆136Updated last year
• manifoldfinance / mev-corpus
  MEV Data Corpus
  ☆94Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆184Updated 7 months ago
• flashbots / eth2-research
  Assessing the nature and impact of MEV in eth2.
  ☆67Updated 2 years ago
• libevm / cpo
  Chief Proxy Operator
  ☆133Updated 3 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• 0xMisaka / Sol-MagicCounter
  ☆94Updated 3 years ago
• thegostep / awesome-mev-boost
  All awesome mev-boost related content
  ☆119Updated 2 years ago
• DanielVF / evm-contract-draw
  Draw EVM contract byte code
  ☆122Updated 3 years ago
• fxfactorial / cheap-name-
  find a cheap selector name, save gas on external calls
  ☆90Updated 3 years ago
• gio256 / erigon-db
  Fully typed access to the Erigon db in rust
  ☆103Updated 2 years ago
• euler-xyz / uni-v3-twap-manipulation
  ☆118Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 3 months ago
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆207Updated last year
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆147Updated this week
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• libevm / geth-examples
  ☆87Updated 2 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated 2 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• libevm / univ3-butler
  Making your life easier with simple Univ3 examples
  ☆85Updated 3 years ago
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆166Updated 2 years ago