Deduplicating archiver with compression and authenticated encryption.

Symbolic execution tool

GNU Radio – the Free and Open Software Radio Ecosystem

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Deep universal probabilistic programming with Python and PyTorch

Mopidy is an extensible music server written in Python

Fast data visualization and GUI tools for scientific / engineering applications

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

Mars is a tensor-based unified framework for large-scale data computation which scales numpy, pandas, scikit-learn and Python functions.

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

High-performance TensorFlow library for quantitative finance.

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.

matplotlib: plotting with Python

A library for training and deploying machine learning models on Amazon SageMaker