Colton Skees

Dna. LLVM based static binary analysis framework

WinTTD. Reverse engineered API for Microsoft's Time Travel Debugger

TritonTranslator. Standalone static version of Triton's x86/x64 translator

VMPDevirt. VMProtect devirtualizer(WIP)

Symex. Symbolic executor for Binary Ninja's MLIL

KParser. .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

Remill.NET. .NET bindings for Remill

IDAPython-Scripts. A collection of various IDAPython scripts

anf-minimizer. SAT based minimizer for systems of polynomial equations over GF(2)

fbgb. Fast boolean groebner basis & NPN canonicalization library

GAMBA. Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

Spotify-Controller. A Python3 GUI spotify controller for Linux. (Specifically for Arch Linux)