Ethersync enables real-time co-editing of local text files.

Automated Reasoning in Nonlinear Theories of Reals

Mesh optimization library that makes meshes smaller and faster to render

Your CLI home video recorder 📼

Static Value-Flow Analysis Framework for Source Code

A WIP cheat sheet for various linux kernel heap exploitation techniques (and privilige escalations).

Sail architecture definition language

GPU Raytracer from scratch in C++/CUDA

Core emulator components for Icicle

evaluating cpu overhead of vulkan drivers

Unofficial CMake build for Ghidra's C++ SLEIGH code

Frame profiler

A user-friendly, lightweight TUI for disk imaging

Automatic indentation style detection for Neovim

A GDB frontend for Linux.

simple terminal UI for git commands

LIEF - Library to Instrument Executable Formats

A wee async RTOS for Cortex-M

Analyze Golang with Ghidra

Make your code extra-safe by voluntarily dropping privileges

Simple x86 and DOS emulator for the Linux terminal.

An ultra portable Keyboard Mouse Combo using the original Blackberry 9900 keyboard

A compiler frontend for the C programming language

Supporting Data Archives for Ghidra

A code snippets manager for your terminal.

Rust library for syntax highlighting using Sublime Text syntax definitions.

Adversary Emulation Framework