An exabyte-scale, multi-region distributed file system

Command-line sampling profiler for macOS, Linux, and Windows

Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.

stb single-file public domain libraries for C/C++

A fast GPU memory copy library based on NVIDIA GPUDirect RDMA technology

QUDA is a library for performing calculations in lattice QCD on GPUs.

A Git-compatible VCS that is both simple and powerful

A massively-parallel, block-sparse tensor framework written in C++

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

High performance server-side application framework

Compile Time Regular Expression in C++

Expressive Vector Engine - SIMD in C++ Goes Brrrr

Linux user space library for network socket acceleration based on RDMA compatible network adaptors

Basic Development Environment - a set of foundational C++ libraries used at Bloomberg.

Audio Editor

FLINT (Fast Library for Number Theory)

A collection of out-of-tree LLVM passes for teaching and learning

Distributed compiler with a central scheduler to share build load

Pono: A flexible and extensible SMT-based model checker

Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)

Simple Theorem Prover, an efficient SMT solver for bitvectors

An open-source C++ library developed and used at Facebook.

Fast, orthogonal, open multi-methods. Solve the Expression Problem in C++17.

A collection of out-of-tree Clang plugins for teaching and learning

Discrete Differential Forms in arbitrary dimensions

A black hole for Internet advertisements

A C++17 Compile Time <cmath> Library

A C++ builld time analyzer

A massively parallel, optimal functional runtime in Rust

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