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

The Modular Platform (includes MAX & Mojo)

Extremely fast Query Engine for DataFrames, written in Rust

Build system, successor to Buck

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

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

Prelude for the Buck2 project

Facilitating high-level interactions between Wasm modules and JavaScript

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Empowering everyone to build reliable and efficient software.

An extremely fast Python linter and code formatter, written in Rust.

Lean 4 programming language and theorem prover

CLI tool which uses the GitHub GraphQL API to rank users according to number of contributions, and corresponding static website.

A Git-compatible VCS that is both simple and powerful

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

An incremental parsing system for programming tools

A very fast linker for Linux

The Z3 Theorem Prover

A high performance, zero-copy URL router.

A fast type checker and language server for Python

Rust teams structure

The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

Run compilers interactively from your web browser and interact with the assembly

The Rust package registry

Dafny is a verification-aware programming language

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Just One Single History

Fil-C: completely compatible memory safety for C and C++

Modern embedded framework, using Rust and async.

Rust friendly bindings to *nix APIs