Rappie's repositories
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
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)
etheno
Simplify Ethereum security analysis and testing
git-playground
Playground to learn Git commands
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
rappie
Rappie's Github Profile
smart-contract-EVM
Smart contract for JOJO Exchange (EVM version)