HarryR's Stars
ggerganov/llama.cpp
LLM inference in C/C++
rizinorg/cutter
Free and Open Source Reverse Engineering Platform powered by rizin
trickest/cve
Gather and update all available and newest CVEs with their PoC.
niklasb/libc-database
Build a database of libc offsets to simplify exploitation
ASDAlexander77/TypeScript2Cxx
TypeScript to C++
microsoft/Nova
Nova: High-speed recursive arguments from folding schemes
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
DarkCoderSc/SubSeven
SubSeven Legacy Official Source Code Repository
zemse/hardhat-tracer
🕵️ allows you to see internal calls, events and storage operations in the console
daimo-eth/daimo
Your own bank, on ethereum
zwegner/x86-sat
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
ameensol/privacy-pools
Privacy 2.0 for Ethereum
mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
fraserxu/diagram-gpt
Draw flowchart, sequence diagram, class diagram, user journey, gantt, C4C diagram with nature language.
jedisct1/encpipe
The dum^H^H^Hsimplest encryption tool in the world.
classic130/VMProtect-Source
Source of VMProtect (NOT OFFICIALLY)
jedisct1/charm
A really tiny crypto library.
Anish-Agnihotri/sushiswap-exploit
SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.
0xPolygonHermez/zkevm-techdocs
Technical documentation of the zkEVM
gdbinit/efi_dxe_emulator
EFI DXE Emulator and Interactive Debugger
Kazhuu/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
oasisprotocol/oasis-sdk
Official SDK for the Oasis Network.
curvefi/tricrypto-ng
Automatic Market Maker (AMM) for three unpegged assets, written in Vyper.
wozniakpawel/UK-Tax-Visualizer
Functions to plot and calculate anything tax-related
antham/yogo
Check yopmail mails from command line.
fishilico/shared
tiny shared projects
mattdf/polymer
benediamond/anonymous-zether
A private payment system for Ethereum-based blockchains, with no trusted setup.
noot/go-relayer
EIP2771-compatible ethereum transaction relayer
timyiu478/e-voting