Busy Beaver deciders backed by Coq proof

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A stupid Rust memory allocator

A binary visualization tool to aid with reverse engineering and malware detection similar to Cantor.Dust

Multichain multifile contract diff tool

HyperDeceit is the ultimate all-in-one library that emulates Hyper-V for Windows, giving you the ability to intercept and manipulate operating system tasks with ease.

GPT4All: Chat with Local LLMs on Any Device

Interact with your documents using the power of GPT, 100% privately, no data leaks

Fix Twitter video embeds in Discord (and Telegram!)

Stable Diffusion web UI

Methods for accelerating and proving theorems about 5-state Busy Beaver candidates

A C compiler targeting an artistically pleasing nightmare for reverse engineers

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.

Shell extension for opening executables in IDA

A single-file web gallery. Uses EXIF thumbnails to quickly display thumbnails for a directory with no server-side code

The swiss army knife of lossless video/audio editing

Hypervisor based anti anti debug plugin for x64dbg

Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"

a paper template

Retro groove color scheme for Vim

Mold: A Modern Linker 🦠

Visualize the virtual address space of a Windows process on a Hilbert curve.

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

img -> txt -> img

Virtual-machine Translation Intermediate Language

A static devirtualizer for VMProtect x64 3.x. powered by VTIL.

Intel / AMD CPU Internals