NASA

The API documentation for several NASA APIs.

CRoss-Application Translator for Operational Unmanned Systems (CRATOUS) is a software bridge that enables the communication between AFRL's UxAS and NASA's ICAROUS.

Library for rigorous verification of non-linear arithmetic

NASAaccess is R package that can generate gridded ascii tables of climate (CIMP5) and weather data (GPM, TRMM, GLDAS) needed to drive various hydrological models (e.g., SWAT, VIC, RHESSys, ..etc)

The Open Scheduling and Planning Interface for Exploration (OpenSPIFe) is an integrated planning and scheduling toolkit based on hundreds of hours of expert observation, use, and refinement of state-of-the-art planning and scheduling technology for several applications within NASA.

The X-Plane Communications Toolbox is a research tool used to interact with the X-Plane flight simulator

Landslide Hazard Analysis for Situational Awareness

Strategic Conflict Resolution (Stratway)

Conflict Prevention Bands

FPRoCK is a software library for checking satisfiability of a set of mixed real and floating-point constraints. If this set of constraints has at least one solution, it returns one of the solutions, otherwise it returns UNSAT indicating that the set is unsatisfiable.

Python software library that facilitates the geolocation of photographs and video frames from the International Space Station (ISS).

Python Interface to Dual-Pol Radar Algorithms (DualPol)

A meta-repository which essentially lists code related to all tools and services software for NASA JPL's PO.DAAC

The Core Flight System (cFS) Stored Command Absolute (SCA) application.

Program Round-off Error Certifier via Static Analysis

A slack bot integration with NASA data

Here you'll find a growing collection of 3D models, textures, and images from inside NASA.

Kepler Science Data Processing Pipeline

Python module for uncertainty quantification using a Markov chain Monte Carlo sampler

DERT is an open source software tool for exploring NASA's digital terrain models in 3D

A tutorial for OpenMCT that guides you through integrating historical and realtime telemetry.