A Lean companion to Analysis I

A collection of formalized statements of conjectures in Lean.

Thread-safe asyncio-aware queue for Python

GIL-powered* locking library for Python

Thread-safe async-aware queue for Python

QuickFIX C++ Fix Engine Library

A ultra-high precision package for simulating radio interferometers in python on compute clusters.

S2FFT: Differentiable and accelerated spherical transforms

Creates empty measurement sets using the the CASA simulate tool.

Sticky connections for Ray

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

A CLI tool and go library which recommends instance types based on resource criteria like vcpus and memory

Training and serving large-scale neural networks with auto parallelization.

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.

Create your own ChatGPT App in seconds.

Closed-form Continuous-time Neural Networks

Turn SymPy expressions into trainable JAX expressions.

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

High-Performance Symbolic Regression in Python and Julia

DDFacet Imaging Project

Package for direction dependent calibration

LOFAR pipeline using killms/ddfacet

Louvain Community Detection

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/

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

Multiple dispatch

Build Graph Nets in Tensorflow