A framework for building native applications using React

Protocol Buffers - Google's data interchange format

The Swift Programming Language

Cross-platform, customizable ML solutions for live and streaming media.

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

An open autonomous driving platform

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

A virtual machine for executing programs written in Hack.

Yoga is an embeddable layout engine targeting web standards.

LeetCode Problems' Solutions

PlayStation 3 emulator and debugger

Mars is a cross-platform network component developed by WeChat.

Nix, the purely functional package manager

Mobile Shell

a small build system with a focus on speed

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

Turi Create simplifies the development of custom machine learning models.

Bear is a tool that generates a compilation database for clang tooling.

Double-entry accounting system with a command-line reporting interface

Lepton is a tool and file format for losslessly compressing JPEGs by an average of 22%.

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

KLEE Symbolic Execution Engine

MailCore 2 provide a simple and asynchronous API to work with e-mail protocols IMAP, POP and SMTP. The API has been redesigned from ground up.

C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, …

Xcode-compatible build tool.

Python compiler

A faster version of Apple's linker

The Stanford Builder