GitHub repository: microsoft/Forerunner
Primary language: Go
Description: Forerunner: Constraint-based Speculative Transaction Execution for Ethereum