Introduction to Machine Learning Systems

Ultra and Unified CCL

A controlled concurrency testing framework for the JVM

Open-source RTL logic simulator with CUDA acceleration

The "engine" of nissy, including the H48 optimal solver

The Modular Platform (includes MAX & Mojo)

The ASPLOS 2025 / EuroSys 2025 Contest Track

A lightweight memory allocator for hardware-accelerated machine learning

Framework and Language for Neurosymbolic Programming.

Pen and paper exercises in machine learning

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

graph based intermediate representation and backend for optimising compilers

Puzzles for learning Triton

Home for "How To Scale Your Model", a short blog-style textbook about scaling LLMs on TPUs

Machine Learning with Symbolic Tensors

Vim plugin for LLM-assisted code/text completion

TensorRight: Automated Verification of Tensor Graph Rewrites

slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021

Official inference framework for 1-bit LLMs

You like pytorch? You like micrograd? You love tinygrad! ❤️

An step by step fuzzing tutorial. A GitHub Security Lab initiative

A little bit about a linux kernel

Solve puzzles. Learn CUDA.

Rust port of Spice, a low-overhead parallelization library

Color Picker for LCH

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

Applying Prophecy variables in TLA+ to the Herlihy & Wing paper

snograJ SC fo snoitalsnarT naeroK ysaE 🇰🇷🗣️