microsoft/Forerunner 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

microsoft/Forerunner

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/microsoft/Forerunner)

Close

microsoft / ForerunnerView on GitHubMore

• External links
• Readme badge

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

☆101Oct 30, 2023Updated 2 years ago

Alternatives and similar repositories for Forerunner

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

• fxfactorial / eth-peers-tui

  View on GitHub
  ☆10Oct 2, 2021Updated 4 years ago
• PossibilityResult / Minimizing-Slippage-on-DEXs

  View on GitHub
  An optimization algorithm for liquidity allocation on DEXs
  ☆20Nov 22, 2022Updated 3 years ago
• statechannels / tla-specs

  View on GitHub
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Jun 12, 2020Updated 5 years ago
• 0xJepsen / MEV_Research_Group

  View on GitHub
  ☆68Apr 2, 2022Updated 3 years ago
• streamingfast / sparkle

  View on GitHub
  ☆49Oct 12, 2022Updated 3 years ago
• libevm / free-logs

  View on GitHub
  ☆18Nov 22, 2024Updated last year
• barryWhiteHat / zkvm

  View on GitHub
  a sketch of what a zkvm could look like
  ☆26Apr 19, 2021Updated 4 years ago
• karalabe / snailtracer

  View on GitHub
  Ray tracing on the Ethereum Virtual Machine
  ☆105Feb 14, 2018Updated 8 years ago
• txrx-research / vorpal

  View on GitHub
  A Python simulator used to model cross shard transaction strategies for Ethereum 2.0
  ☆11May 3, 2024Updated last year
• 0xinugami / aztec-lido-bridge

  View on GitHub
  ☆12Feb 3, 2022Updated 4 years ago
• sambacha / libmev

  View on GitHub
  ☆12Apr 13, 2021Updated 4 years ago
• hellwolf / popsicle-exploit

  View on GitHub
  Using various tools to rediscover popsicle exploit
  ☆15Mar 10, 2022Updated 3 years ago
• mosdefi / web3-batch-exporter

  View on GitHub
  ☆10Dec 18, 2020Updated 5 years ago
• protolambda / zcli

  View on GitHub
  Eth2 CLI debugging tool
  ☆37Feb 23, 2025Updated last year
• d3or / sol-trees

  View on GitHub
  A binary search tree implementation in Solidity
  ☆20Aug 5, 2022Updated 3 years ago
• gcolvin / evm-drag-race

  View on GitHub
  EVM performance tests for a range of clients
  ☆24Dec 27, 2019Updated 6 years ago
• defi-principles / draft-defi-principles

  View on GitHub
  ☆37Jan 7, 2022Updated 4 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• Rjected / salmonella

  View on GitHub
  A salmonella token built with foundry
  ☆20Apr 11, 2022Updated 3 years ago
• NethermindEth / hardhat-warp

  View on GitHub
  A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet
  ☆19Jun 20, 2025Updated 8 months ago
• Modulus-Labs / leela_vs_world

  View on GitHub
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆20Sep 26, 2024Updated last year
• status-im / geth_exporter

  View on GitHub
  geth metrics exporter for Prometheus
  ☆13Jan 21, 2026Updated last month
• banteg / feil-proposal

  View on GitHub
  governance proposal to make fei redeemable for eth
  ☆13Apr 9, 2021Updated 4 years ago
• franz101 / mev-olympics

  View on GitHub
  MEV Olympics
  ☆44Dec 1, 2024Updated last year
• emo-eth / are-we-immutable-yet

  View on GitHub
  Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to
  ☆29Oct 19, 2022Updated 3 years ago
• 0xnibbler / mev-q4-2020

  View on GitHub
  ☆75Feb 27, 2022Updated 4 years ago
• banteg / lobsterdao

  View on GitHub
  Lazy airdrop based on private temporary ids
  ☆42Sep 5, 2021Updated 4 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc

  View on GitHub
  ☆41Jan 22, 2023Updated 3 years ago
• ricobank / multifab-draft

  View on GitHub
  SUPERCEDED by ricobank/multifab
  ☆20Jul 13, 2022Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• q9f / eth2-bench-2020-06

  View on GitHub
  preliminary, high-level eth2-client benchmarks
  ☆16Oct 20, 2020Updated 5 years ago
• 0xurb / reth-exex-plugin

  View on GitHub
  A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins
  ☆16Oct 12, 2024Updated last year
• iczc / rwctf-5th-realwrap

  View on GitHub
  RealWorld CTF 5th realwrap challenge
  ☆18May 21, 2023Updated 2 years ago
• alcueca / ERC3156-Wrappers

  View on GitHub
  ERC3156 wrappers for popular flash lenders
  ☆73Jul 4, 2023Updated 2 years ago
• primitivefinance / rmm-core

  View on GitHub
  Primitive Replicating Market Maker smart contracts
  ☆131Jul 23, 2024Updated last year
• dialecticch / safe-flashloan

  View on GitHub
  A flashloan module for Gnosis Safe.
  ☆45Sep 15, 2021Updated 4 years ago
• ethereum-mousse / mousse

  View on GitHub
  An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
  ☆48Mar 12, 2021Updated 4 years ago
• iden3 / ffiasm-old

  View on GitHub
  Intel assembly finite field library generator
  ☆13Nov 23, 2023Updated 2 years ago
• socathie / ZKaggleV2

  View on GitHub
  Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack
  ☆16Jul 12, 2023Updated 2 years ago