Stars
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
Resources for "The Little Typer" study group
A collection of well labeled ELF binaries compiled from benign and malicious code in various ways. Great for exploring similarity in executables and training various ML models.
Mortgage is a simple calculator intended to aid comprehension of the true cost of a home mortgage.
Move and resize windows on macOS with keyboard shortcuts and snap areas
Python wrapper for tshark, allowing python packet parsing using wireshark dissectors
An 18xx shell to replace spreadsheets in end-of-game calculations.
A mutable, self-balancing interval tree. Queries may be by point, by range overlap, or by range containment.
AssetStudio is a tool for exploring, extracting and exporting assets and assetbundles.
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
Hexcurse is a ncurses-based console hexeditor written in C
Search within binary files for a string, hex, or even another binary file
Predict chessboard FEN layouts from images using TensorFlow