FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard

Generic floating-point types in Python

Go app that allows you to access your reMarkable tablet files through the Cloud API

Compatibility layer for common array libraries to support the Array API

Static typing support for the array API standard

materials available to the public

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Development repository for the Triton language and compiler

A stand-alone implementation of several NumPy dtype extensions used in machine learning.

Ahead of Time compiler for numeric kernels

JAX for Graphcore IPU (experimental)

Lightning fast code searching made easy

A repository of tutorials and examples demonstrating use of PyTorch Geometric with IPUs

Quick script to scrap and save all NeurIPS papers

The Python programming language

An Open Source Machine Learning Framework for Everyone

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Poplar libraries

Compiler with automatic differentiation

The libxo library allows an application to generate text, XML, JSON, and HTML output using a common set of function calls. The application decides at run time which output style should be produced.