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

A fast type checker and IDE for Python

Collection of library stubs for Python, with static types

Adaptive Experimentation Platform

Collection of common code that's shared among different research projects in FAIR computer vision team.

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Main public package repository for opam, the source package manager of OCaml.

FB (Facebook) + GEMM (General Matrix-Matrix Multiplication) - https://code.fb.com/ml-applications/fbgemm/

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

TorchX is a library containing standard DSLs for authoring and running PyTorch related components for an E2E production ML pipeline

Tensors and Dynamic neural networks in Python with strong GPU acceleration

FBPCS (Facebook Private Computation Solutions) leverages secure multi-party computation (MPC) to output aggregated data without making unencrypted, readable data available to the other party or any…

FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation) applications in a distributed way on virtual private clouds…

Recipes are a standard, well supported set of blueprints for machine learning engineers to rapidly train models using the latest research techniques without significant engineering overhead.Specifi…

The Python programming language

A CI for OCaml projects

Generation of S-expression conversion functions from type definitions

Performant type-checking for python.

VΛVΓ (Vavr, formerly called Javaslang) is an object-functional language extension to Java 8+, which aims to reduce the lines of code and increase code quality.

SMACK Software Verifier and Verification Toolchain

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

The PHP Interpreter