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