libcoq-hammer
automated reasoning tool for Coq
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
libkokyu-7.0.3
ACE scheduling and dispatching library
Kokyu is a library designed to provide flexible scheduling and
dispatching services.
python3-fcrypto
encryption format library. -- Python 3 binding library
libfcrypto is a library for encryption formats.
libignition-transport11-11
Ignition Robotics Transport Library - Shared library
Ignition transport library combines ZeroMQ with Protobufs to create a fast and
efficient message passing system. Asynchronous message publication and
subscription is provided along with service calls and discovery.
libgmobile-examples
Mobile related helpers - binaries
gmobile is a library containing mobile related helpers for
glib based projects.
libfsfat-utils
File Allocation Table (FAT) file system format access library -- Utilities
libfsfat is a library to access the File Allocation Table (FAT) file system format.