A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

The Data Transfer Project makes it easy for platforms to build interoperable user data portability features. We are establishing a common framework, including data models and protocols, to enable d…

A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

Performant type-checking for python.

Online translation tool

A static analyzer for Java, C, C++, and Objective-C

Facebook's branch of Apache Thrift, including a new C++ server.

Status, process, and documents for ECMA-262

Adds static typing to JavaScript to improve developer productivity and code quality.

Effective June 1, 2021: Phabricator is no longer actively maintained.

XHP extension for PHP

The global orchestration solution to manage and backup XCP-ng and XenServer.

The code coverage tool for Python

F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.

Python 2.x/3.x bindings for libfuse 2.x

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

Async/await reactive tools for Python 3.11+

Powerful Python library for atomic file writes.

Python library implementing a trie data structure.

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Nameservers to enable CSO channels over multiple machines

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

Python static typing home. Hosts the documentation and a user help forum.

A package for making properties lazy

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

A Python library that generates static type annotations by collecting runtime types

Optional static typing for Python

an experiment in property caching