Fast In-Memory Data Compression Algorithm (header-only C/C++) 480+MB/s compress, 2800+MB/s decompress, ratio% better than LZ4, Snappy, and Zstd@-1

A compiler from TIP to llvm bitcode

Stanford Cardinal's algorithms (Overall Rank 2) in IMC Prosperity 2023

Staging files from the TeXLive repository for use in Tectonic.

A markup-based typesetting system that is powerful and easy to learn.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Collection of Summer 2026 tech internships!

Runtime verification system for Java, using AspectJ for instrumentation.

Code for Charlottesville version of Piedmont Native Plants DB

The Federated Model Aggregation (FMA) Service is a collection of installable python components that make up the generic workflow/infrastructure needed for federated learning.

HooHacks 2023 project, by Junho Lee, Aadya Kamath, Mario Dhrami, and Pete Pongpeauk.

peer-to-peer file transfer

What's in your data? Extract schema, statistics and entities from datasets

📱The official Wikipedia iOS app.