Starred repositories
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
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.
Selects tests affected by changed files. Executes the right tests first. Continuous test runner when used with pytest-watch.
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.
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.
An Open-source book with Modern CUDA learning Notes for Beginners - BF16/FP8/FP4, HGEMM, CuTe, Flash-Attention, etc.