Serve, optimize and scale PyTorch models in production

Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presente…

Generates a unified GraphQL schema from gRPC microservices and other Protobuf sources

Apache Avro is a data serialization system.

StackNet is a computational, scalable and analytical Meta modelling framework

MineRL Competition for Sample Efficient Reinforcement Learning - Python Package

The Arend Proof Assistant

Runtime and compiler for the Assembly Cup

Minecraft thin client and automation framework

Educational Proof Assistant for Type Theory

English Dependency Relationship Extractor