-
portfolio Public
Rappie is a fuzzing specialist focused on EVM smart contracts, CTO at Perimeter, and contributor to open-source resources and the fuzzing community.
3 UpdatedApr 19, 2025 -
-
-
building-secure-contracts Public
Forked from crytic/building-secure-contractsGuidelines and training material to write secure smart contracts
Solidity GNU Affero General Public License v3.0 UpdatedNov 23, 2024 -
fuzzer-gas-metric-benchmark Public
Analyze and compare the gas usage metrics between Echidna, Medusa, and Foundry
Solidity UpdatedOct 22, 2024 -
fuzz-vs-fv Public
Forked from Certora/fuzz-vs-fvSolution to Certora's Fuzzing Challenge
-
book Public
Forked from foundry-rs/bookA book on all things Foundry, available at https://book.getfoundry.sh.
Python Apache License 2.0 UpdatedJul 18, 2024 -
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
-
echidna-rari-hack Public
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
-
-
-
origin-oeth-fuzzing-recontest Public
Forked from perimetersec/origin-oeth-fuzzingFuzzing campaign for https 109BE ://github.com/OriginProtocol/origin-dollar
Solidity UpdatedApr 18, 2024 -
origin-dollar Public
Forked from OriginProtocol/origin-dollarOUSD and OETH are stablecoins that passively accrue yield while you are holding it
JavaScript MIT License UpdatedApr 10, 2024 -
-
-
-
vertigo-rs Public
Forked from RareSkills/vertigo-rsMutation Testing for Ethereum Smart Contracts, support for Foundry
-
org-mode Public
Forked from bzg/org-modeThis is a MIRROR only, do not send PR.
Emacs Lisp GNU General Public License v3.0 UpdatedSep 8, 2023 -
crytic-compile Public
Forked from crytic/crytic-compileAbstraction layer for smart contract build systems
Python GNU Affero General Public License v3.0 UpdatedAug 15, 2023 -
kanata Public
Forked from jtroo/kanataImprove keyboard comfort and usability with advanced customization
Rust GNU Lesser General Public License v3.0 UpdatedAug 8, 2023 -
-
halmos Public
Forked from a16z/halmosSymbolic bounded model checker for Ethereum smart contracts
Python GNU Affero General Public License v3.0 UpdatedJul 29, 2023 -
damn-vulnerable-defi-echidna Public
Forked from theredguild/damn-vulnerable-defiThe offensive security playground for the decentralized finances.
Solidity MIT License UpdatedJul 26, 2023 -
diffusc Public
Forked from crytic/diffuscExperimental tool to ease the review of smart contracts upgrades
Solidity GNU Affero General Public License v3.0 UpdatedJul 21, 2023 -
-
evil-org-mode Public
Forked from Somelauw/evil-org-modeSupplemental evil-mode keybindings to emacs org-mode
Emacs Lisp UpdatedMay 14, 2023 -
ityfuzz Public
Forked from fuzzland/ityfuzzBlazing Fast Hybrid Fuzzer for Smart Contracts
Rust MIT License UpdatedApr 27, 2023 -
-
DeFiHackLabs Public
Forked from SunWeb3Sec/DeFiHackLabsReproduce DeFi hacked incidents using Foundry.
Solidity UpdatedApr 3, 2023 -
smart-contract-EVM Public
Forked from JOJOexchange/smart-contract-EVMSmart contract for JOJO Exchange (EVM version)
TypeScript UpdatedJan 11, 2023
{{ message }}