Generator of runtime monitors for flight and robotics applications.

Robot Learning Beyond Earth

Int-Ball2 Simulator (Isaac Sim)

Linux distribution for space-grade robotics on the BeagleV-Fire RISC-V platform + FPGA support

Space ROS (RACS2) demonstration based on TurtleBot3

Autonomous robot for lunar navigation and object interaction, developed during TESP '25 at the Space Robotics Lab (Tohoku University). Features custom robot design, Dijkstra-based path planning, object detection with vision, and gripper control.

Communicating with cFS applications written in Rust, and rovers whose cores we developed using SPA communicating with cFS applications written in Rust, and rovers whose cores we developed using SPACE ROS.