-
reth Public
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Rust Apache License 2.0 UpdatedNov 16, 2025 -
datafusion-flight-sql-server Public
Forked from datafusion-contrib/datafusion-flight-sql-serverDataFusion FlightSQL Server
Rust Apache License 2.0 UpdatedOct 30, 2025 -
-
gigahorse-toolchain Public
Forked from nevillegrech/gigahorse-toolchainA binary lifter and analysis framework for Ethereum smart contracts
-
-
-
-
etherex-core Public
Forked from etherex-finance/etherex-corePublic contract repository for Etherex on Linea
Solidity Other UpdatedSep 11, 2025 -
-
v3-core Public
Forked from Uniswap/v3-core🦄 🦄 🦄 Core smart contracts of Uniswap v3
TypeScript Other UpdatedAug 11, 2025 -
alloy Public
Forked from alloy-rs/alloyTransports, Middleware, and Networks for the Alloy project
Rust Apache License 2.0 UpdatedJul 24, 2025 -
EVMYulLean Public
Forked from NethermindEth/EVMYulLeanExecutable formal model of the EVM and Yul in Lean 4.
Lean Apache License 2.0 UpdatedJun 4, 2025 -
revm Public
Forked from bluealloy/revmRust implementation of the Ethereum Virtual Machine.
Rust MIT License UpdatedMay 9, 2025 -
ethereum-consensus Public
Forked from ralexstokes/ethereum-consensusRust Apache License 2.0 UpdatedApr 23, 2025 -
lighthouse Public
Forked from sigp/lighthouseEthereum consensus client in Rust
Rust Apache License 2.0 UpdatedApr 22, 2025 -
trie Public
Forked from paritytech/trieBase-16 Modified Patricia Merkle Tree (aka Trie)
Rust Apache License 2.0 UpdatedMar 7, 2025 -
DeFiHackLabs Public
Forked from SunWeb3Sec/DeFiHackLabsReproduce DeFi hacked incidents using Foundry.
Solidity UpdatedNov 19, 2024 -
formulog Public
Forked from HarvardPL/formulogDatalog with support for SMT queries and first-order functional programming
Java Apache License 2.0 UpdatedOct 29, 2024 -
exo Public
Forked from exo-explore/exoRun your own AI cluster at home with everyday devices 📱💻 🖥️⌚
Python GNU General Public License v3.0 UpdatedOct 28, 2024 -
-
pevm Public
Forked from risechain/pevmBlazingly fast Parallel EVM
Rust MIT License UpdatedSep 22, 2024 -
amms-rs Public
Forked from darkforestry/amms-rsA Rust library to interact with automated market makers across EVM chains.
Rust UpdatedSep 10, 2024 -
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedAug 22, 2024 -
heimdall-rs Public
Forked from Jon-Becker/heimdall-rsHeimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Rust MIT License UpdatedAug 16, 2024 -
-
greed Public
Forked from ucsb-seclab/greedA symbolic execution engine for EVM smart contract binaries.
Python MIT License UpdatedAug 6, 2024 -
fastlane-bot Public
Forked from bancorprotocol/fastlane-botFast Lane, an open-source arbitrage protocol, allows any user to perform arbitrage between Bancor ecosystem protocols and external exchanges and redirect arbitrage profits back to the protocol.
Jupyter Notebook MIT License UpdatedJul 25, 2024 -
-
ethers-rs Public
Forked from gakonst/ethers-rsComplete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Rust Apache License 2.0 UpdatedJul 7, 2024 -
{{ message }}