rappie Goto Github PK

building-secure-contracts

Guidelines and training material to write secure smart contracts

canto-c4-fuzzing

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.

diffusc

Experimental tool to ease the review of smart contracts upgrades

echidna-debug-performance

echidna-flashloan-poc

Flash loan fuzzing POC (WIP)

echidna-rari-hack

etheno

Simplify Ethereum security analysis and testing

evil-org-mode

Supplemental evil-mode keybindings to emacs org-mode

fuzzing-enzyme

fuzzlib-namespace-poc

git-playground

Playground to learn Git commands

halmos

Symbolic bounded model checker for Ethereum smart contracts

halmos-ousd-rounding

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

olympus-docs

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

origindollar-fuzzing-public

OUSD Fuzzing Campaign

rapfuzz

wfuzz with more automation

reports

Repository of public work performed by Rappie

slither-issue1319-environment

slither-issue1319-narrowed-down

smart-contract-evm

Smart contract for JOJO Exchange (EVM version)

vaex

Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualize and explore big tabular data at a billion rows per second 🚀