Generates sequences of RSA estimates across time

μ-Cuda, COVER THE LAST MILE OF CUDA. With features: intellisense-friendly, structured launch, automatic cuda graph generation and updating.

A Modern C++20 Library of Unified Incremental Potential Contact.

[IEEE RA-L 2023] Official Implementation of Safe Navigation and Obstacle Avoidance Using Differentiable Optimization Based Control Barrier Functions

Isaac Gym Reinforcement Learning Environments

Codebase for RSS 2025 paper: Provably-Safe, Online System Identification

Imitation learning benchmark focusing on complex locomotion tasks using MuJoCo.

An extension of the Flexible Collision Library

Robust controller interface to Kinova-gen3

Efficient Task Space Inverse Dynamics (TSID) based on Pinocchio

OpenVLA: An open-source vision-language-action model for robotic manipulation.

C++ implementation of Lie Groups using Eigen.

GPU-accelerated first-order low-rank SDP solver

NumPy & SciPy for GPU

library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization

HOVER

DEFT

Sparse Parallel Robust Algorithms Library

COIN-OR Interior Point Optimizer IPOPT

Development repository for the Triton language and compiler

Leetcode for Pytorch

Solve puzzles. Improve your pytorch.

SeDuMi: A linear/quadratic/semidefinite solver for Matlab and Octave

Stack trace visualizer

An open-source library for GPU-accelerated robot learning and sim-to-real transfer.

A sparse polynomial optimization tool based on the moment-SOS hierarchy.