Found 4 datasets matching filters. (clear all filters)
-
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 application or family of...
Search relevance: 1.00 | Views last month: 1 | Catalog Last Checked: August 04, 2025 at 01:24 PM -
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 Invocation, Event Channels, and in...
Search relevance: 1.00 | Views last month: 1 | Catalog Last Checked: August 04, 2025 at 12:50 PM -
Libibvpp is a C++ wrapper around libibverbs, which is part of the OpenFabrics software suite (www.openfabrics.org).
Search relevance: 1.00 | Views last month: 0 | Catalog Last Checked: April 04, 2026 at 09:03 PM -
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 control aircraft and receive...
Search relevance: 1.00 | Views last month: 0 | Catalog Last Checked: January 03, 2026 at 07:58 PM
