CUDA checkpoint and restore utility

Viz. Apple IntelligencePlatform store

uucode - fast unicode library in zig

A CLI tool for '櫻坂46メッセージ', '日向坂46メッセージ', '乃木坂46メッセージ', '齋藤飛鳥メッセージ', '白石麻衣メッセージ', and 'yodel' app.

Direct Manipulation Programming for HTML/SVG

A server for streaming tweets by emulating browser WebPush.

Lean 4 programming language and theorem prover

A simple screen parsing tool towards pure vision based GUI agent

Swift TrueType Interpreter

White-box automation for Lean 4

qpdf: A content-preserving PDF document transformer

Trigram-indexed grep with a client/server architecture for fast regex search in large codebases locally

💥💻💥 A data-parallel functional programming language

Minimal implementation of the Email Verification Protocol on Cloudflare Workers + Zero Trust.

A macOS CLI for AirDrop written in Swift

Fast, compact, dependency-free Markdown parser for C.

Selects tests affected by changed files. Executes the right tests first. Continuous test runner when used with pytest-watch.

Textlint Plugin LaTeX2ε

X11 terminal emulator

Building PDFium for Web Assembly

Optimizer and compiler/toolchain library for WebAssembly

(wip) Slide "generation" language and system, for those unsatisfied with both WYSIWYG editors and markup languages.

macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.

Toy Go Compiler

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

Ruby AOT compiler