HarryR

daimo

Your own bank, on ethereum

cutter

Free and Open Source Reverse Engineering Platform powered by rizin

VMProtect-Source

Source of VMProtect (NOT OFFICIALLY)

x86-sat

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

libc-database

Build a database of libc offsets to simplify exploitation

tricrypto-ng

Automatic Market Maker (AMM) for three unpegged assets, written in Vyper.

hardhat-tracer

🕵️ allows you to see internal calls, events and storage operations in the console

oasis-sdk

Official SDK for the Oasis Network.

constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.

TypeScript2Cxx

TypeScript to C++

e-voting

cve

Gather and update all available and newest CVEs with their PoC.

diagram-gpt

Draw flowchart, sequence diagram, class diagram, user journey, gantt, C4C diagram with nature language.

polymer

go-relayer

EIP2771-compatible ethereum transaction relayer

sushiswap-exploit

SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.

pysmt

pySMT: A library for SMT formulae manipulation and solving

SubSeven

SubSeven Legacy Official Source Code Repository

Nova

Nova: High-speed recursive arguments from folding schemes

privacy-pools

Privacy 2.0 for Ethereum

anonymous-zether

A private payment system for Ethereum-based blockchains, with no trusted setup.

UK-Tax-Visualizer

Functions to plot and calculate anything tax-related

yogo

Check yopmail mails from command line.

zkevm-techdocs

Technical documentation of the zkEVM

encpipe

The dum^H^H^Hsimplest encryption tool in the world.

efi_dxe_emulator

EFI DXE Emulator and Interactive Debugger

charm

A really tiny crypto library.

asm2cfg

Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files

llama.cpp

LLM inference in C/C++

shared

tiny shared projects