AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Python toolbox for optimization on Riemannian manifolds with support for automatic differentiation

A python library for time series anomaly detection

Tutorials website compiled for KDD 2020

🌲 Implementation of the Robust Random Cut Forest algorithm for anomaly detection on streams

Contextual Anomaly Detector

RNN based Time-series Anomaly detector model implemented in Pytorch.