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.