libcryptominisat5-5.8

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

gdc-multilib-mipsisa64r6el-linux-gnuabi64

GNU D compiler (based on GCC) for the mips64r6el architecture

This is the GNU D compiler, which compiles D on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.
MIDI Network Gateway via UDP/IP Multicast

qmidinet

MIDI Network Gateway via UDP/IP Multicast

QmidiNet is a MIDI network gateway application that sends and receives MIDI data (ALSA Sequencer) over the network, using UDP/IP multicast. It was inspired by multimidicast (https://llg.cubic.org/tools) and designed to be compatible with ipMIDI for Windows (https://nerds.de).

libjs-trust-json-document

JSON Document manipulation library - browser library

Model and manipulate data with ES6 classes, JSON Schema initialization and validation, JSON Patch, JSON Pointer, and JSON Mappings.

libmmblib3.01

shared library of MacroMoleculeBuilder

libgnome-keyring1.0-cil

CLI library to access the GNOME Keyring daemon