upki implements platform-independent browser-grade certificate infrastructure

Formally Verified X.509 Certificate Validation

900+ ready-to-use Amiibo NFC files for Flipper Zero, covering nearly the entire Nintendo Switch Amiibo catalog — cleaned, deduplicated, organized and NTAG215-fixed.

Native PC port of P.T. (runs from your own PS4 game files)

🐹 Open-source Mac and PC cleaner. Keep your machine clean, light, and running like new. Fast CLI, plus native Mac and Windows apps.

A persistent workspace for development work that self-improves and continues beyond one session.

Portable Linux binaries, solved

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Training-free language model modification: Remove censorship, suppress slop, reduce sycophancy, and more

Skills for Real Engineers. Straight from my .agents directory.

A list of awesome resources for tmux

A terminal workspace with batteries included

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

eBPF Developer Tutorial: Learning eBPF Step by Step with Examples

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

A beautiful config generator for Ghostty terminal.

A source-level GameCube & Wii compatibility layer

Dusklight brings a classic adventure to PC and mobile platforms with a variety of fixes and improvements.

Typst template for rendering Character Sheets for DnD 5e (2014) with auto-calculated stats

DuckDB is a high-performance analytical database system

Our team entry for the 2025 brew game jam

Agentic Coding for Builders who Ship

Rusty bibliography management.

X.509 Certificate Linter focused on Web PKI standards and requirements.

Pokemon PureRed / PureBlue / PureGreen: A purist's enhancement of Pokemon Red/Blue/Green based on the pokered decompilation.

LLM Jailbreaks, ChatGPT, Claude, Llama, DAN Prompts, Prompt Leaking

Disassembly of Pokémon Red/Blue

A tool for use with clang to analyze #includes in C and C++ source files

Online materials for HOL-Light

🌶️ spice2x is a continuation of SpiceTools project with hundreds of bug fixes and new features 🌶️