Lightning fast C++/CUDA neural network framework

Fast and memory-efficient exact attention

Development repository for the Triton language and compiler

Migrate C code to Rust

An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.

APALACHE: symbolic model checker for TLA+ and Quint

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Confidential Consortium Framework

Interactive playground for exploring and sharing TLA+ specifications in the browser.

Linux sources

Introduction to Machine Learning Systems

A library that provides an embeddable, persistent key-value store for fast storage.

unit testing framework for C/C++

The JSON Schema specification

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado

The Pie language, which accompanies The Little Typer by Friedman and Christiansen