Beads - A memory upgrade for your coding agent

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

FFmpeg Assembly Language Lessons

Convert .ninja_log files to chrome's about:tracing format.

A fast and clever hex editor for macOS

An utility to check if two files are clones in macOs APFS.

Fuzz Introspector -- introspect, extend and optimise fuzzers

A command-line benchmarking tool

C++11 library for many-sorted logics

C++ Insights - See your source code with the eyes of a compiler

Yet Another Random Program Generator

Terminal string styling done right, in Python 🐍 🎉

Linux kernel exploitation experiments

SRI Yices SMT Solver

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

A collection of common interactive command line user interfaces, based on Inquirer.js (https://github.com/SBoudrias/Inquirer.js/)

A Python module for common interactive command line user interfaces

Generate GIF animations from asciicasts (asciinema recordings)

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Type-safe YAML parser and validator.

Color schemes for default macOS Terminal.app

Multi-User Tmux Made Easy

transparently encrypt files within a git repository

Immersive terminal interface for managing docker containers and services

👥 A bash-tool to store your private data inside a git repository.

PGP-encrypted git remotes

Transparent file encryption in git

A hacky debugger UI for hackers