Meta's BGP (Border Gateway Protocol) routing daemon for large-scale data center networks, built as part of the FBOSS forwarding stack.

A Scalable, User-Friendly Source Control System.

A bytecode optimizer for Android apps

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange between OCaml and Rust

A virtual machine for executing programs written in Hack.

A declarative framework for building efficient UIs on Android.

Intermediate Graphics Library (IGL) is a cross-platform library that commands the GPU. It provides a single low-level cross-platform interface on top of various graphics APIs (e.g. OpenGL, Metal and Vulkan).

TAAC (Test-As-A-Config) is a thrift-defined integration test framework for validating datacenter network products and platforms.

Facebook Open Switching System Software for controlling network switches.