Repository
Open source
LeRobot · huggingface
LeRobot tools for robot control, datasets and end-to-end learning.
Robot learning frameworks
Software / Open source
ogma · nasa
Generator of runtime monitors for flight and robotics applications.
Overview
Generator of runtime monitors for flight and robotics applications.
Inspect installation instructions, supported versions, examples and interfaces in the source. This directory does not claim the software has been installed or tested on your robot.
Project information
- Maintainer
- nasa
- Primary language
- Haskell
- Repository code license
- Apache-2.0
- Model-weight license
- Not recorded
- Dataset license
- Not recorded
- Hardware design license
- Not recorded
- Maintenance
- Not archived in the last recorded metadata
- Last observed repository push
- 2026-09-27
Code licenses do not automatically cover model weights, datasets or hardware designs. Unrecorded license details require confirmation with the publisher.
Documentation sections
- OGMA
- Features
- Table of Contents
- Installation
- Linux Installation
- Ubuntu 25.10 / Debian Forky or newer
Browse this resource’s categories
Explore related collections
Browse Software →More in Software
Repository
Open source
Repository
Open source
MuJoCo · google-deepmind
MuJoCo physics simulator for multijoint dynamics and contact.
Motion planning & control
Repository
Open source
NVIDIA Isaac Lab
Robot learning tools built around the Isaac simulation ecosystem.
Simulation & physics
Repository
Research
Bullet Physics · bulletphysics
A physics SDK for collision detection and multi-physics simulation.
Robot SDKs
Repository
Open source
onshape to robot · Rhoban
Converts Onshape assemblies into URDF, SDF, and MuJoCo robot descriptions.
Simulation & physics
Repository
Open source
VINS-Mono · HKUST-Aerial-Robotics
A Robust and Versatile Monocular Visual-Inertial State Estimator
Navigation & SLAM