A Pragmatist Robot 🤖

Model-based design and verification for robotics.

Experimental code and data associated with the paper: Cristóvão D. Sousa and Rui Cortesão, "Physical feasibility of robot base inertial parameter identification: A linear matrix inequality approach…

High-Performance Symbolic Regression in Python and Julia

Github readme page.

Template for Ark packages.

Ark Implemention for Unitree Go2

Integration with Fanuc robots.

Website for the Ark project

Integration of common interfaces.

Message type definitions used in Ark.

Support for Universal Robots in Ark.

Expose Real-ESRGAN with local_comm.

GroundingDINO exposed with local_comm.

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

🎁 A collection of utilities for LeRobot.

A lightweight, zero-dependency Python library for fast local inter-process communication (IPC) between services on the same Linux machine.

The Ark robot (Arkbot).

Integration of Unitree G1 with Ark.

This framework provides a modular and extensible architecture for learning and deploying robot manipulation policies.

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.