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

Fast and memory-efficient exact attention

Machine Learning Systems

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

Development repository for the Triton language and compiler

The JSON Schema specification

Migrate C code to Rust

Lightning fast C++/CUDA neural network framework

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

Linux sources

Confidential Consortium Framework

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

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!

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

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

SymbiFlow WIP changes for Yosys Open SYnthesis Suite

unit testing framework for C/C++