A computer science textbook

Collection of georeferenced boundaries of world countries and cultural regions for use in mapping historical data on global or continental scale

A command-line hex viewer

Drop-in Kakoune frontend with an extensible UI foundation

Puffing up reinforcement learning

Session attach/detach for the terminal

Tabular Database Systems — A DuckDB-based course on the fundamentals of relational DBMSs and SQL

Dissecting the Duck's Innards — A DuckDB-based course on the Design and Implementation of Database System Internals

distributed system stress and load testing tool

The BusTub Relational Database Management System (Educational)

Multi-DBMS SQL Benchmarking Framework via JDBC

Next-generation JavaScript analysis tooling

A dynamic, cross-platform, and embeddable LaTeX rendering library

youtube video renderer

The P programming language.

An experiment to see what interpretation into (pre)sheaves categories look like

A pure-Python implementation of the Nvidia CuTe layout algebra intended to be approachable and easy to learn.

An experimental language for causal reasoning

LEGO is a compiler-agnostic framework for algebraic memory layout specification and transformation, enabling high-performance kernels across Triton, CUDA, and MLIR.

Grid-Free Monte Carlo Solvers for Physics Simulations Involving Partial Differential Equations

fast distance and ray intersection queries

version control for Anki collections

The best ChatGPT that $100 can buy.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

agx is a Rust CLI for project-local RFC and skill workflows.

Bringing e-graphs to MLIR, natively.