Verified Rust for low-level systems code

Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust

Motion Generation for Robots and Machines. Real-time. Jerk-constrained. Time-optimal.

High-Level Motion Library for Collaborative Robots

A fast analytical IK solver for Franka Emika Panda

Train a deep network to describe lane trajectories using a vector field in 2D space. Vector fields provide a semi-local representation which can be practical when working with images.

Sioyek is a PDF viewer with a focus on textbooks and research papers

High quality screenshot tool for the Gazebo simulator. Enables maximum anti-aliasing (FSAA) and 4x resolution.

Playground for 2D EKF-SLAM as TUI in Rust

Calculate the workspace for a robot and visualize it in RVIZ

Rust crate for physics simulation based on the Bullet SDK and modeled after PyBullet (Github Mirror).

Experimental Tools for CogIMon Robot Simulators