NASA
NASA PVS Library of Formal Developments
NASA Ames Crisis Mapping Toolkit
Regional Hydrologic Extremes Assessment System
Library for rigorous verification of non-linear arithmetic
Python Turbulence Detection Algorithm (PyTDA)
Python Polarimetric Radar Beam Blockage Calculation (PyBlock)
pymdptoolbox
Forked from sawcordwell/pymdptoolboxMarkov Decision Process (MDP) Toolbox for Python
OpenMDAO-Framework
Forked from OpenMDAO/OpenMDAO-FrameworkOpenMDAO is an open-source Multidisciplinary Design Analysis and Optimization (MDAO) framework, written in Python. It helps users solve complex problems by allowing them to link together analysis codes from multiple disciplines at multiple levels of fidelity. The development effort for OpenMDAO is being led out of the NASA Glenn Research Center …
Matplotlib object oriented style system