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.