Convert photos to 3D voxel scenes with AI depth estimation (Depth Anything 3) and OctoMap

Neural networks for cryo-EM reconstruction

Augmented Vertex Block Descent (AVBD) reference implementation

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

A CVXPY extension for handling nonconvex QCQP via Suggest-and-Improve framework

[RSS 2024] iMESA - an incremental distributed algorithm for Collaborative Simultaneous Localization and Mapping

Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programming (SDP) relaxation

Massively parallel rigidbody physics simulation on accelerator hardware.

Rigid transforms + Lie groups for JAX

A Twitch Chatbot made for Raz and Naircat's "Weekly Wednesday" stream.

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

Hardware accelerated, batchable and differentiable optimizers in JAX.

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

Fast symbolic computation, code generation, and nonlinear optimization for robotics

Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.

Differentiable, Hardware Accelerated, Molecular Dynamics

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

N-D labeled arrays and datasets in Python

GTSAM is a library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse m…

Pytorch differentiable molecular dynamics

FAIR Chemistry's library of machine learning methods for chemistry

Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models

Rapid experimentation and scaling of deep learning models on molecular and crystal graphs.

Model, manipulate, and analyze uncertain and nonlinear systems via integral quadratic constraints

Immediate Mode Plotting

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …

Open Source Computer Vision Library

An incremental guide to continuum robot mathematical modeling and numerical implementation. The examples are divided into chapters within the folder structure, and each chapter contains a PDF and c…

Index repo for Kimera code

Productive, portable, and performant GPU programming in Python.