Have you been awed by views of desolate Martian Valleys, swirling storms above Jupiter, and the icy blades ringing Saturn? Then you have journeyed with NASA JPL spacecraft and rovers.
Our missions have flown to every planet and the Sun in a quest to understand our place in the universe, and to search for the possibility of life beyond Earth.
It’s also a journey powered, in part, by open source developers from around the world.
Discover the universe of open source software at NASA JPL!
Python wrapper around libtmux for easier programmatic creation of tmux sessions.
ROSA 🤖 is an AI Agent designed to interact with ROS1- and ROS2-based robotics systems using natural language queries. ROSA helps robot developers inspect, diagnose, understand, and operate robots.
The ION Configuration Tool provides both command line and browser interfaces for creating and editing configuration files for the Interplanetary Overlay Network (ION) software, an implementation of Delay/Disruption Tolerant Networking technology.
A Lean 4 formalization of René Dybkær's An Ontology on Property for Physical, Chemical, and Biological Systems (2009)
