ad-lens

Source-to-Source Debuggable Derivatives in Pure Python

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

List of papers studying machine learning through the lens of category theory

A simple library for creating complex neural networks

Introductions to key concepts in quantum programming, as well as tutorials and implementations from cutting-edge quantum computing research.

Optimal transport tools implemented with the JAX framework, to solve large scale matching problems of any flavor.

Category theory in the context of (functional) programming

Tensors and differentiable operations (like TensorFlow) in Rust

A book about category theory

The Python toolkit for computing with string diagrams.