A GPU accelerated library for computing rigid body dynamics with analytical gradients

Conic Augmented Lagrangian Interior-Point SOlver

A non-linear trajectory optimization library developed by Optimus Ride, Inc. This library implements a C++ version of the original open-source ALTRO solver developed by the Robotic Exploration Lab …

Benchmarking contact models and solvers from robotics simulators.

A project page template for academic papers. Demo at https://eliahuhorwitz.github.io/Academic-project-page-template/

We write your reusable computer vision tools. 💜

A tiny version of VBD, focused on mass spring strand simulation.

The Simple Simulator: Simulation Made Simple

Accelerating Quadratic Optimization with Reinforcement Learning

Parallel algorithm for solving LQR problems using recursive Schur Compliments

The Art of Debugging

Programmatically compile xacro files (no ROS required).

Contact Planning for Object Manipulation via Monte Carlo Tree Search

An Open Source Task Solving library with Constraints

Omniwheel soccer setup

DORA (Dataflow-Oriented Robotic Application) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed data…

Simple kinematics calculation toolkit for robotics

A unified framework for robot learning

This repository is all the lessons for Modern Robotics Course.

Implementation of numerical solvers used in the Machines in Motion Laboratory

A compiler and scenario generator for the Scenic scenario description language.

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

BookStack in a container

A platform to create documentation/wiki content built with PHP & Laravel

A Docker container for the BookStack documentation wiki

A fully open source & end-to-end encrypted note taking alternative to Evernote.

Build your personal knowledge base with Trilium Notes

An open source, lightweight note-taking service. Easily capture and share your great thoughts.

Efficient streaming of sparse event data supporting files, network I/O, GPU peripherals (via Torch/Jax/Numpy) and neuromorphic protocols

Benchmarking suite to evaluate 🤖 robotics computing performance. Vendor-neutral. ⚪Grey-box and ⚫Black-box approaches.