Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content
3 datasets found for "organization:nasa-gov AND type:dataset"
  • Federal

    ARC Code TI: CODE Software Framework

    National Aeronautics and Space Administration —

    CODE is a software framework for control and observation in distributed environments. The basic functionality of the framework allows a user to observe a distributed...
  • Federal

    ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)

    National Aeronautics and Space Administration —

    IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an...
  • Federal

    ARC Code TI: CFD Utility Software Library

    National Aeronautics and Space Administration —

    The CFD Utility Software Library consists of nearly 30 libraries of Fortran 90 and 77 subroutines and almost 100 applications built on those libraries. Many of the...
3 datasets found for "organization:nasa-gov AND type:dataset"

You can also access this registry using the API (see API Docs).

Didn't find what you're looking for? Suggest a dataset here.