Stars
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
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.
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
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…
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
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 …
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…