The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.

Chez Scheme

A Swiss Army knife for developers.

A proof assistant and a dependently-typed language

7-Zip

The official GitHub mirror of the Chromium source

Minimal implementations for dependent type checking and elaboration

The CompCert formally-verified C compiler

Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein

Official MINIX sources - Automatically replicated from gerrit.minix3.org

A cheatsheet of modern C++ language and library features.

Next-gen language engineering / DSL framework

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

C++ Library Manager for Windows, Linux, and MacOS

Compile Time Regular Expression in C++

Warp is the agentic development environment, built for coding with multiple AI agents.

configuration library for JVM languages using HOCON files

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

A textbook on informal homotopy type theory

🍻 Default formulae for the missing package manager for macOS (or Linux)

Repository for the Stacks Project

C++ ABI Summary

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu

Chinese Manual Pages

Empowering everyone to build reliable and efficient software.