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

Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

Library providing printf-style formatted output routines with tex-like syntax support.

Multi-platform SDK for integrating GitHub Copilot Agent into apps and services

Automatic verification of LLVM optimizations