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.