-
v4-core Public
Forked from Uniswap/v4-coreπ¦ π¦ π¦ π¦ Core smart contracts of Uniswap v4
Solidity Other UpdatedJul 10, 2024 -
-
-
reference-implementation Public
Forked from erc6900/reference-implementationSolidity GNU General Public License v3.0 UpdatedJun 22, 2024 -
halmos Public
Forked from a16z/halmosA symbolic testing tool for EVM smart contracts
Python GNU Affero General Public License v3.0 UpdatedJun 12, 2024 -
-
semgrep-smart-contracts Public
Forked from Decurity/semgrep-smart-contractsSemgrep rules for smart contracts based on DeFi exploits
Solidity Other UpdatedMay 30, 2024 -
-
-
-
v2-core Public
Forked from Uniswap/v2-coreπ¦ π¦ Core smart contracts of Uniswap V2
TypeScript GNU General Public License v3.0 UpdatedMay 6, 2024 -
-
-
-
-
-
-
-
-
-
-
ethernaut Public
Forked from OpenZeppelin/ethernautWeb3/Solidity based wargame
Solidity MIT License UpdatedApr 11, 2024 -
DeFiHackLabs Public
Forked from SunWeb3Sec/DeFiHackLabsReproduce DeFi hacked incidents using Foundry.
Solidity UpdatedApr 8, 2024 -
assembly-evm-opcodes-and-formal-verification-course Public
Forked from Cyfrin/assembly-evm-opcodes-and-formal-verification-courseGNU General Public License v3.0 UpdatedApr 4, 2024 -
awesome-smart-contract-analysis-tools Public
Forked from LouisTsai-Csie/awesome-smart-contract-analysis-toolsA curated list of awesome smart contract analysis tools
UpdatedMar 30, 2024 -
-
-
-
sc-exploits-minimized Public
Forked from Cyfrin/sc-exploits-minimizedA repo to showcase web3 hacks
Solidity UpdatedFeb 29, 2024 -
1-horse-store-s23 Public
Forked from Cyfrin/1-horse-store-s23C++ GNU General Public License v3.0 UpdatedFeb 21, 2024
Previous Next