defi-formal/cff external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

defi-formal/cff

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/defi-formal/cff)

Close

defi-formal / cffView on GitHubMore

• External links
• Readme badge

Miner extractable value modeling and tools.

☆65Sep 8, 2021Updated 4 years ago

Alternatives and similar repositories for cff

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

• pdaian / mev

  View on GitHub
  Miner extractable value modeling and tools.
  ☆125Apr 2, 2022Updated 3 years ago
• dialecticch / sibyl

  View on GitHub
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆78Sep 21, 2021Updated 4 years ago
• georgewhewell / weiroll-rs

  View on GitHub
  Weiroll planner for ethers-rs
  ☆16Apr 19, 2023Updated 2 years ago
• manifoldfinance / openmev-sdk

  View on GitHub
  @openmev/sdk
  ☆21Feb 27, 2023Updated 3 years ago
• tintinweb / evm-shell

  View on GitHub
  An interactive EVM repl/shell.
  ☆32Sep 30, 2021Updated 4 years ago
• angeris / cfmm-routing-code

  View on GitHub
  Convex optimization for fun and profit.
  ☆279Mar 17, 2024Updated last year
• pdaian / mevsimulator

  View on GitHub
  ☆16Dec 17, 2021Updated 4 years ago
• csienslab / ProMutator

  View on GitHub
  ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
  ☆41Sep 15, 2021Updated 4 years ago
• cartesi / state-fold

  View on GitHub
  Blockchain Reader Library
  ☆10Jan 20, 2024Updated 2 years ago
• PreventFlashLoanAttacks / Prevent-Flash-Loan-Attacks

  View on GitHub
  We are dedicated to stopping flash loan and oracle manipulation attacks. Please consider contributing if you have additional information.…
  ☆19Jan 11, 2021Updated 5 years ago
• Arachnid / flashbots-proxy

  View on GitHub
  An Ethereum RPC proxy that makes composing and submitting flashbots bundles easy
  ☆142Oct 27, 2022Updated 3 years ago
• 0xalpharush / evm-disassembler

  View on GitHub
  EVM bytecode disassembler
  ☆25Jan 4, 2022Updated 4 years ago
• tarrencev / go-starknet

  View on GitHub
  ☆12Apr 14, 2022Updated 3 years ago
• sunnyRK / chainlinkExternal

  View on GitHub
  No-loss Podding game system to win interest on Crypto token using Chainlink and AAVE
  ☆10Mar 25, 2024Updated last year
• umbracle / geth-data-layer

  View on GitHub
  Go library to access the blockchain state of Go-ethereum
  ☆16Feb 14, 2023Updated 3 years ago
• rafzk / sniper-arbitrage-flashbot

  View on GitHub
  snipes new eth pairs on uniswap v3 and sushiswap
  ☆10Jul 12, 2021Updated 4 years ago
• tynes / addr-zero

  View on GitHub
  ☆12Aug 2, 2022Updated 3 years ago
• PatrickAlphaC / vrf_pizza

  View on GitHub
  lol
  ☆10Mar 12, 2021Updated 4 years ago
• Yousuf-Ejaz / hardhat-fund-me

  View on GitHub
  Learning Smart Contracts with freecodecamp!
  ☆14Jun 1, 2022Updated 3 years ago
• WilfredTA / formal-methods-curriculum

  View on GitHub
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆167Jul 14, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• fxfactorial / defi-abigen

  View on GitHub
  already abigen code for main defi projects
  ☆64Jan 6, 2022Updated 4 years ago
• primitivefinance / RMM01-Simulations

  View on GitHub
  RMM-01 Simulations
  ☆49Mar 29, 2023Updated 2 years ago
• brockelmore / rust-cevm

  View on GitHub
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆45Sep 8, 2021Updated 4 years ago
• Rjected / mempool-history

  View on GitHub
  Eth mempool history
  ☆31Sep 2, 2022Updated 3 years ago
• CodeForcer / rust-pending-stream

  View on GitHub
  Pending transaction stream in rust
  ☆27May 31, 2021Updated 4 years ago
• 0xalpharush / capture-the-ether

  View on GitHub
  My solutions to capture the ether
  ☆13Jan 4, 2022Updated 4 years ago
• jleeh / flux-link-withdrawal

  View on GitHub
  Simple CLI tool to automatically withdraw LINK earned in FluxAggregator contracts.
  ☆12Dec 6, 2022Updated 3 years ago
• primitivefinance / aika

  View on GitHub
  Discrete event simulator built in Rust 🦀
  ☆13Jun 10, 2023Updated 2 years ago
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 2023Updated 2 years ago
• 0xnibbler / mev-q4-2020

  View on GitHub
  ☆75Feb 27, 2022Updated 4 years ago
• weiroll / weiroll.js

  View on GitHub
  A high-level javascript transpiler for weiroll
  ☆53Sep 9, 2022Updated 3 years ago
• chalex-eth / From-solidity-course-to-vyper-py

  View on GitHub
  ☆53Nov 10, 2021Updated 4 years ago
• Midas-Protocol / monorepo

  View on GitHub
  Central repository for Midas Capital's frontend, SDK, and bots
  ☆14Jul 19, 2023Updated 2 years ago
• leonardoalt / ethereum_formal_verification_overview

  View on GitHub
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆337Mar 26, 2025Updated 11 months ago
• manifoldfinance / openmev-router-docs

  View on GitHub
  OpenMEV Router V01 Documentation and Specification
  ☆12Jul 7, 2022Updated 3 years ago
• primitivefinance / Topological-Data-Analysis

  View on GitHub
  This repository is for topologic and geometric data analysis.
  ☆13Jul 2, 2022Updated 3 years ago
• PossibilityResult / Decentralized-Auctions

  View on GitHub
  ☆12Jan 30, 2023Updated 3 years ago
• ncitron / uni-v3-position-tracker

  View on GitHub
  A tool to extract historical Uniswap V3 positions data into a CSV
  ☆11Jul 21, 2021Updated 4 years ago