libcoq-reglang
representation of regular languages in Coq
This package provides definitions and verified translations
between different representations of regular languages
for Coq: miscellaneous automata, regular expressions,
WS1S logic. It also contains various decidability results
and closure properties of regular languages.
php-mock-phpunit
mock built-in PHP functions with PHPUnit
Provides a trait for PHPUnit test cases to integrate with PHP-Mock, a
function mock library.
libjansi1-java
Java library for generating and interpreting ANSI escape sequences
Jansi is a small java library that allows you to use ANSI
escape codes to format your console output which works across
all platforms.
librte-pipeline22
Data Plane Development Kit (librte-pipeline runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
libinovasdk1
INDI Driver for i.Nova Technologies Camera
This package contains the SDK for i.Nova Technologies Cameras.
libfishcamp1
library for cameras made by Fishcamp Engineering
This package contains a library for CCD cameras made
by Fishcamp Engineering.