Dataset - Catalog

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.

Filter by location Clear

Topics

There are no Topics that match this search

Topic Categories

There are no Topic Categories that match this search

Dataset Type

There are no Dataset Type that match this search

Tags

Formats

Organization Types

Organizations

Publishers

Bureaus

close

2 datasets found for "Public Libraries"

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...
- TAR
Federal

ARC Code TI: Geometry Manipulation Protocol (GMP)

National Aeronautics and Space Administration —

The Geometry Manipulation Protocol (GMP) is a library which serializes datatypes between XML and ANSI C data structures to support CFD applications. This library...
- TAR

2 datasets found for "Public Libraries"

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

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