space-ros

Pinned Repositories

dashboard
The VS Code-based Space ROS Dashboard.
Language:TypeScript30
demos
Various Space ROS demos.
Language:C++24 16 3741
docker
Docker images to facilitate Docker-based development.
Language:C++20 12 2932
docs
The Space ROS documentation site.
Language:Python9 11 210
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++4 2 00
process_sarif
Tools to process and aggregate SARIF output from static analysis.
Language:Python41
requirements
Requirements for Space ROS packages.
Language:HTML10
simulation
Simulation assets of space-ros demos
Language:CMake8 9 1319
space-ros
The Space ROS meta operating system for space robotics.
Language:Earthly158 16 12741
spaceros.org
The Space ROS website.
Language:CSS8 6 210

space-ros's Repositories

space-ros/space-ros
The Space ROS meta operating system for space robotics.
Language:Earthly158 16 12741
space-ros/demos
Various Space ROS demos.
Language:C++24 16 3741
space-ros/docker
Docker images to facilitate Docker-based development.
Language:C++20 12 2932
space-ros/docs
The Space ROS documentation site.
Language:Python9 11 210
space-ros/simulation
Simulation assets of space-ros demos
Language:CMake8 9 1319
space-ros/spaceros.org
The Space ROS website.
Language:CSS8 6 210
space-ros/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++4 2 00
space-ros/process_sarif
Tools to process and aggregate SARIF output from static analysis.
Language:Python41
space-ros/dashboard
The VS Code-based Space ROS Dashboard.
Language:TypeScript30
space-ros/requirements
Requirements for Space ROS packages.
Language:HTML10
space-ros/.github
A repo used to add a README at the github organization level
1 11