Repositories list

• L4YAML

  Public

  nasa-jpl/L4YAML’s past year of commit activity
  A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**

  theorem-provingverificationlean4

  theorem-provingverificationlean4

  Lean

  •

  Other

  •11 fork in nasa-jpl/L4YAML•1313 stars in nasa-jpl/L4YAML•22 issues in nasa-jpl/L4YAML•11 pull request in nasa-jpl/L4YAML•Updated Nov 4, 2026Nov 4, 2026

• ION-DTN

  Public

  nasa-jpl/ION-DTN’s past year of commit activity
  The Interplanetary Overlay Network (ION) is NASA's open-source software implementation of Delay Tolerant Networking (DTN). ION development is managed by the Jet…

  networkingspaceion+ 10

  networkingspaceioncommunicationsltpamsdtndelay-tolerant-networkbundle-protocolcfdp+ 3

  C

  •

  Other

  •3737 forks in nasa-jpl/ION-DTN•150150 stars in nasa-jpl/ION-DTN•2525 issues in nasa-jpl/ION-DTN•2121 pull requests in nasa-jpl/ION-DTN•Updated Nov 4, 2026Nov 4, 2026

• mango-ingest

  Public
  DB, ingest and API for Monitoring and Analysis for Gravity Operations (MANGO)

  Python

  •

  Apache License 2.0

  •33 forks in nasa-jpl/mango-ingest•44 stars in nasa-jpl/mango-ingest•7070 issues in nasa-jpl/mango-ingest•11 pull request in nasa-jpl/mango-ingest•Updated Nov 3, 2026Nov 3, 2026

• MACOS_resources

  Public

  nasa-jpl/MACOS_resources’s past year of commit activity
  MACOS Generic Matlab Interface

  Fortran

  •

  Apache License 2.0

  •22 forks in nasa-jpl/MACOS_resources•44 stars in nasa-jpl/MACOS_resources•00 issues in nasa-jpl/MACOS_resources•11 pull request in nasa-jpl/MACOS_resources•Updated Nov 3, 2026Nov 3, 2026

• macos

  Public

  nasa-jpl/macos’s past year of commit activity
  Modeling and Analysis for Controlled Optical Systems

  C

  •

  Apache License 2.0

  •11 fork in nasa-jpl/macos•44 stars in nasa-jpl/macos•77 issues in nasa-jpl/macos•11 pull request in nasa-jpl/macos•Updated Nov 3, 2026Nov 3, 2026

• captoolkit

  Public

  nasa-jpl/captoolkit’s past year of commit activity
  NASA’s Cryosphere Altimetry Processing Toolkit

  Jupyter Notebook

  •

  Apache License 2.0

  •2727 forks in nasa-jpl/captoolkit•8080 stars in nasa-jpl/captoolkit•00 issues in nasa-jpl/captoolkit•00 pull requests in nasa-jpl/captoolkit•Updated Nov 3, 2026Nov 3, 2026

• libtmux_easy

  Public

  nasa-jpl/libtmux_easy’s past year of commit activity
  Python wrapper around libtmux for easier programmatic creation of tmux sessions.

  Python

  •

  Other

  •00 forks in nasa-jpl/libtmux_easy•00 stars in nasa-jpl/libtmux_easy•00 issues in nasa-jpl/libtmux_easy•00 pull requests in nasa-jpl/libtmux_easy•Updated Nov 3, 2026Nov 3, 2026

• rosa

  Public

  nasa-jpl/rosa’s past year of commit activity
  ROSA 🤖 is an AI Agent designed to interact with ROS1- and ROS2-based robotics systems using natural language queries. ROSA helps robot developers inspect, diagn…

  airoboticsnasa+ 6

  airoboticsnasarosdeveloper-toolsagentsros2jplllm

  Python

  •

  Apache License 2.0

  •188188 forks in nasa-jpl/rosa•1.7k1.7k stars in nasa-jpl/rosa•22 issues in nasa-jpl/rosa•33 pull requests in nasa-jpl/rosa•Updated Nov 3, 2026Nov 3, 2026

• explorer-1

  Public
  JPL's Design System

  vuestorybookdesign-system

  vuestorybookdesign-system

  Vue

  •

  MIT License

  •2525 forks in nasa-jpl/explorer-1•7777 stars in nasa-jpl/explorer-1•1717 issues in nasa-jpl/explorer-1•1212 pull requests in nasa-jpl/explorer-1•Updated Nov 3, 2026Nov 3, 2026

• ion-config-tool

  Public

  nasa-jpl/ion-config-tool’s past year of commit activity
  The ION Configuration Tool provides both command line and browser interfaces for creating and editing configuration files for the Interplanetary Overlay Network…

  iondelay-tollerant-networkinginterplanetary-overlay-network

  iondelay-tollerant-networkinginterplanetary-overlay-network

  JavaScript

  •

  Other

  •55 forks in nasa-jpl/ion-config-tool•77 stars in nasa-jpl/ion-config-tool•11 issue in nasa-jpl/ion-config-tool•22 pull requests in nasa-jpl/ion-config-tool•Updated Nov 2, 2026Nov 2, 2026

• PropertyKindCalculus

  Public
  A Lean 4 formalization of René Dybkær's An Ontology on Property for Physical, Chemical, and Biological Systems (2009)

  Lean

  •

  Other

  •11 fork in nasa-jpl/PropertyKindCalculus•1212 stars in nasa-jpl/PropertyKindCalculus•00 issues in nasa-jpl/PropertyKindCalculus•00 pull requests in nasa-jpl/PropertyKindCalculus•Updated Nov 2, 2026Nov 2, 2026

• mango-ui

  Public
  Monitoring and ANalysis for Gravity Operations (MANGO)

  TypeScript

  •

  Apache License 2.0

  •11 fork in nasa-jpl/mango-ui•99 stars in nasa-jpl/mango-ui•4242 issues in nasa-jpl/mango-ui•99 pull requests in nasa-jpl/mango-ui•Updated Nov 2, 2026Nov 2, 2026

• django-launchbox

  Public
  A plugin for your Django app to assist in integrating with Launchbox.

  pythondjangodeployment+ 1

  pythondjangodeploymenthacktoberfest

  Python

  •

  MIT License

  •44 forks in nasa-jpl/django-launchbox•1515 stars in nasa-jpl/django-launchbox•11 issue in nasa-jpl/django-launchbox•22 pull requests in nasa-jpl/django-launchbox•Updated Nov 2, 2026Nov 2, 2026

• bespokebpv7

  Public
  Generate BPv7 bundles with whatever parameters set within the bundle

  Python

  •

  Other

  •33 forks in nasa-jpl/bespokebpv7•22 stars in nasa-jpl/bespokebpv7•1010 issues in nasa-jpl/bespokebpv7•44 pull requests in nasa-jpl/bespokebpv7•Updated Nov 2, 2026Nov 2, 2026

• Space-Balls-MST

  Public
  Space Balls simulation environment aka MONTE Spacecraft Tool MST

  Jupyter Notebook

  •

  Apache License 2.0

  •22 forks in nasa-jpl/Space-Balls-MST•11 star in nasa-jpl/Space-Balls-MST•00 issues in nasa-jpl/Space-Balls-MST•00 pull requests in nasa-jpl/Space-Balls-MST•Updated Oct 31, 2026Oct 31, 2026

• tasksat

  Public
  A domain-specific language and SMT-based tool for modeling, scheduling, and verifying task networks with temporal and resource constraints

  Python

  •22 forks in nasa-jpl/tasksat•55 stars in nasa-jpl/tasksat•11 issue in nasa-jpl/tasksat•00 pull requests in nasa-jpl/tasksat•Updated Oct 30, 2026Oct 30, 2026

• pyion

  Public
  Apache License 2.0

  •55 forks in nasa-jpl/pyion•77 stars in nasa-jpl/pyion•00 issues in nasa-jpl/pyion•00 pull requests in nasa-jpl/pyion•Updated Oct 28, 2026Oct 28, 2026

• hwo-slaps

  Public
  HWO-SLAPS: HWO Strong Lensing Analysis Pipeline for Subhalos

  Python

  •

  Apache License 2.0

  •11 fork in nasa-jpl/hwo-slaps•33 stars in nasa-jpl/hwo-slaps•00 issues in nasa-jpl/hwo-slaps•11 pull request in nasa-jpl/hwo-slaps•Updated Oct 28, 2026Oct 28, 2026

• meshGen

  Public
  Mesh generator for to create meshes for AERO or other tool suites

  Python

  •

  Other

  •00 forks in nasa-jpl/meshGen•00 stars in nasa-jpl/meshGen•00 issues in nasa-jpl/meshGen•00 pull requests in nasa-jpl/meshGen•Updated Oct 27, 2026Oct 27, 2026

• open-source-rover

  Public
  A build-it-yourself, 6-wheel rover based on the rovers on Mars!

  open-sourcerobotrobotics+ 4

  open-sourcerobotroboticshardwaremarsdiymars-rover

  HTML

  •

  Apache License 2.0

  •1.5k1.5k forks in nasa-jpl/open-source-rover•9.8k9.8k stars in nasa-jpl/open-source-rover•1212 issues in nasa-jpl/open-source-rover•55 pull requests in nasa-jpl/open-source-rover•Updated Oct 22, 2026Oct 22, 2026

• osr-rover-code

  Public
  Code that runs on the Open Source Rover

  Python

  •

  Apache License 2.0

  •184184 forks in nasa-jpl/osr-rover-code•545545 stars in nasa-jpl/osr-rover-code•1515 issues in nasa-jpl/osr-rover-code•99 pull requests in nasa-jpl/osr-rover-code•Updated Oct 22, 2026Oct 22, 2026

• dispatcher

  Public
  ROS2 launcher and health monitoring application

  C++

  •

  Apache License 2.0

  •11 fork in nasa-jpl/dispatcher•00 stars in nasa-jpl/dispatcher•00 issues in nasa-jpl/dispatcher•00 pull requests in nasa-jpl/dispatcher•Updated Oct 21, 2026Oct 21, 2026

• Satellite-Derived-Bathymetry

  Public
  Jupyter Notebook

  •11 fork in nasa-jpl/Satellite-Derived-Bathymetry•00 stars in nasa-jpl/Satellite-Derived-Bathymetry•00 issues in nasa-jpl/Satellite-Derived-Bathymetry•00 pull requests in nasa-jpl/Satellite-Derived-Bathymetry•Updated Oct 19, 2026Oct 19, 2026

• cgi-cal

  Public
  Alignment and calibration routines for coronagraphic instruments and testbeds

  Python

  •

  Apache License 2.0

  •00 forks in nasa-jpl/cgi-cal•00 stars in nasa-jpl/cgi-cal•00 issues in nasa-jpl/cgi-cal•00 pull requests in nasa-jpl/cgi-cal•Updated Oct 19, 2026Oct 19, 2026

• MIDAS

  Public
  Full-wave electromagnetic scattering model for arbitrarily shaped objects

  Fortran

  •

  Apache License 2.0

  •00 forks in nasa-jpl/MIDAS•00 stars in nasa-jpl/MIDAS•11 issue in nasa-jpl/MIDAS•00 pull requests in nasa-jpl/MIDAS•Updated Oct 19, 2026Oct 19, 2026

• JEME

  Public
  JPL's Earth Modeling Enterprise Dashboard

  JavaScript

  •

  Other

  •00 forks in nasa-jpl/JEME•22 stars in nasa-jpl/JEME•00 issues in nasa-jpl/JEME•00 pull requests in nasa-jpl/JEME•Updated Oct 14, 2026Oct 14, 2026

• its_live_production

  Public
  A NASA MEaSUREs project to provide automated, low latency, global glacier flow and elevation change datasets

  nasajplnasa-jpl+ 2

  nasajplnasa-jplits-liveitslive

  Python

  •

  MIT License

  •77 forks in nasa-jpl/its_live_production•2424 stars in nasa-jpl/its_live_production•2323 issues in nasa-jpl/its_live_production•22 pull requests in nasa-jpl/its_live_production•Updated Oct 14, 2026Oct 14, 2026

• ion-core

  Public
  A streamlined packaging of core DTN features from the ION-DTN open source software

  networkingspaceion+ 4

  networkingspaceioncommunicationsdtndelay-tolerant-networkion-core

  Shell

  •

  Other

  •88 forks in nasa-jpl/ion-core•1313 stars in nasa-jpl/ion-core•00 issues in nasa-jpl/ion-core•00 pull requests in nasa-jpl/ion-core•Updated Oct 13, 2026Oct 13, 2026

• autoRIFT

  Public
  A Python module of a fast and intelligent algorithm for finding the pixel displacement between two images

  Python

  •

  Apache License 2.0

  •6767 forks in nasa-jpl/autoRIFT•273273 stars in nasa-jpl/autoRIFT•1919 issues in nasa-jpl/autoRIFT•77 pull requests in nasa-jpl/autoRIFT•Updated Oct 9, 2026Oct 9, 2026

• Blackbird

  Public
  Blackbird: The original object-oriented, debuggable activity simulation and sequence generation framework

  Java

  •

  Apache License 2.0

  •22 forks in nasa-jpl/Blackbird•33 stars in nasa-jpl/Blackbird•99 issues in nasa-jpl/Blackbird•11 pull request in nasa-jpl/Blackbird•Updated Sep 30, 2026Sep 30, 2026