💥💻💥 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

C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.

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.

📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉

A static type analyzer for Python code

Tiny package to prevent sleep mode

A native TypeScript compiler written in Rust. Compiles TypeScript directly to executables using SWC and LLVM.

A LLVM-based static analysis framework.

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

Scientific computing in Lean 4

✨ Programming Language Research, Applied PLT & Compilers

日本語UIをAIエージェントに正しくつくらせるためのDESIGN.md集。Japanese DESIGN.md collection for AI agents — extending Google Stitch format with CJK typography.

Next-generation JavaScript analysis tooling

Helix plugin to bookmark files and quickly switch between them

A realtime-safe single-producer single-consumer (SPSC) ring buffer

A static analyzer for Java, C, C++, and Objective-C