-
reth Public
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Rust Apache License 2.0 UpdatedMay 11, 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 -
gigahorse-toolchain Public
Forked from nevillegrech/gigahorse-toolchainA binary lifter and analysis framework for Ethereum smart contracts
-
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 ethereum/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 -
EVMYulLean Public
Forked from NethermindEth/EVMYulLeanExecutable formal model of the EVM and Yul in Lean 4.
Lean Apache License 2.0 UpdatedAug 1, 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 -
-
cozo Public
Forked from cozodb/cozoA transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Rust Mozilla Public License 2.0 UpdatedJun 11, 2024 -
solsec Public
Forked from sannykim/solsecA collection of resources to study Solana smart contract security, auditing, and exploits.
UpdatedMay 12, 2024 -
lassie Public
Forked from filecoin-project/lassieA minimal universal retrieval client library for IPFS and Filecoin
Go Other UpdatedApr 19, 2024 -
evm-semantics Public
Forked from runtimeverification/evm-semanticsK Semantics of the Ethereum Virtual Machine (EVM)
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 10, 2024 -
-
evm-dis Public
Forked from franck44/evm-disAn EVM bytecode disassembler/assembler
Dafny Apache License 2.0 UpdatedMar 11, 2024 -
lem Public
Forked from rems-project/lemLem semantic definition language
OCaml Other UpdatedMar 7, 2024 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity and Vyper
Python GNU Affero General Public License v3.0 UpdatedFeb 15, 2024 -
Academic_Smart_Contract_Papers Public
Forked from hzysvilla/Academic_Smart_Contract_PapersAcademic Smart Contract Papers, Welcome to add this list.
GNU General Public License v3.0 UpdatedFeb 15, 2024
{{ message }}