Rappie's repositories
echidna-curve-reentrancy-hack
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
echidna-rari-hack
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
origindollar-fuzzing-public
OUSD Fuzzing Campaign
fuzz-vs-fv
Solution to Certora's Fuzzing Challenge
vertigo-rs
Mutation Testing for Ethereum Smart Contracts, support for Foundry
building-secure-contracts
Guidelines and training material to write secure smart contracts
crytic-compile
Abstraction layer for smart contract build systems
damn-vulnerable-defi-echidna
The offensive security playground for the decentralized finances.
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
echidna-flashloan-poc
Flash loan fuzzing POC (WIP)
git-playground
Playground to learn Git commands
book
A book on all things Foundry, available at https://book.getfoundry.sh.
diffusc
Experimental tool to ease the review of smart contracts upgrades
evil-org-mode
Supplemental evil-mode keybindings to emacs org-mode
halmos
Symbolic bounded model checker for Ethereum smart contracts
ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
kanata
Improve keyboard comfort and usability with advanced customization
LiquidityTree
"segment tree" approach for accounting additions and withdrawals liquidity and fair profit/loose distribution
org-mode
This is a MIRROR only, do not send PR.
origin-dollar
OUSD and OETH are stablecoins that passively accrue yield while you are holding it
origin-oeth-fuzzing-recontest
Fuzzing campaign for https://github.com/OriginProtocol/origin-dollar
smart-contract-EVM
Smart contract for JOJO Exchange (EVM version)