📚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

GitHub issues/PRs as filesystem, for offline view and operations in batch. Designed for human and agents.

Pure Functional Reactive Programming Language for Small-Scale Embedded Systems

reading the undocumented mems accelerometer + gyroscope on apple silicon macbooks via iokit hid

Parallel S3 and local filesystem execution tool.

Allo Accelerator Design and Programming Framework (PLDI'24)

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.

A minimalist, offline-first markdown note-taking app

Cleaner and Formatter for BibTeX files

An implementation of the Language Server Protocol for LaTeX

Sketch and take handwritten notes.