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
4 datasets found
  • 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: Growler

    National Aeronautics and Space Administration —

    Growler is a C++-based distributed object and event architecture. It is written in C++, and supports serialization of C++ objects as part of its Remote Method...
  • Federal

    ARC Code TI: X-Plane Communications Toolbox (XPC)

    National Aeronautics and Space Administration —

    The X-Plane Communications Toolbox (XPC) is an open source research tool used to interact with the commercial flight simulator software X-Plane. XPC allows users to...
  • Federal

    ARC Code TI: Libibvpp

    National Aeronautics and Space Administration —

    Libibvpp is a C++ wrapper around libibverbs, which is part of the OpenFabrics software suite (www.openfabrics.org).
4 datasets found

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

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