Proofs in Coq for the book Reflective Programs in Tree Calculus

🎨 Interactive version of Sanzo Wada's - "A Dictionary of Color Combinations"

Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between images/PDFs and LLMs. Supports 100+ languages.

Play Doom entirely from DNS records. (PowerShell 7+)

cliamp - Terminal music player inspired by winamp

Font Synthesis with Pixel-Space Diffusion Transformer

An Android RSS reader presented in Material You style.

CasNum (Compass and straightedge Number) is a library that implements arbitrary precision arithmetic using compass and straightedge constructions. Featuring a functional modified Game Boy emulator …

Gameboy Camera Adapter

A markup-based typesetting system that is powerful and easy to learn.

A scientific plotting library in Rust

Generate a full 256 palette from base16 your colors

Kagi Small Web

A Self-contained Latex Book/Note Writing Tutorial.

monospace typeface designed for symbol-rich programming

[CVPR 2025] A Comprehensive Benchmark for Document Parsing and Evaluation

Contexts Optical Compression

My blog?

An unofficial userspace driver for HID++ Logitech devices

Glamourous agentic coding for all 💘

Terminal OpenAPI Spec viewer

Reusable JavaScript library for creating sketchy/hand-drawn styled charts in the browser.

Eclipse B612

VIM Master: in-browser game that teaches core Vim motions and editing commands through short, focused levels.

🌲 Comfortable & Pleasant Color Scheme for Vim

Transcribe PDFs with local LLMs

Apache ECharts is a powerful, interactive charting and data visualization library for browser