konclude

tableau-based description logic reasoner for the semantic web

Konclude is a high-performance reasoner for large and expressive ontologies. The supported ontology language is formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude can handle all of the Web Ontology Language (OWL 2) with almost all datatypes. In addition, Konclude supports nominal schemas which allow for expressing arbitrary DL-safe rules simply by using given ontology syntax extended with variables.

dropwatch

tool for detecting and diagnosing dropped network packets

Dropwatch is a utility to help developers and system administrators to diagnose problems in the Linux Networking stack, specifically their ability to diagnose where packets are getting dropped. Dropwatch aims to improve on the following shortcomings:

libbsoncxx-noabi

Library to parse and generate BSON documents - runtime files

libbsoncxx parses and generates BSON documents, the data format for MongoDB. It is a dependency for libmongocxx, the MongoDB client library, for which it provides BSON support as well as platform-compatibility functions and macros.

debian-installer-11-netboot-amd64

Debian-installer network boot images for amd64

This package contains images of the Debian Installer for the amd64 architecture.

gnat-11-mips-linux-gnu

GNU Ada compiler

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

node-webrtc-adapter

shim to insulate apps from WebRTC quirks - Node.js library

adapter.js is a shim to insulate apps from spec changes and prefix differences. In fact, the standards and protocols used for WebRTC implementations are highly stable, and there are only a few prefixed names.