libcoq-bignums

Coq library for big numbers

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.

node-puppeteer

API to control Chrome over the DevTools Protocol

Puppeteer is a Node library which provides a high-level API to control Chrome or Chromium over the DevTools Protocol. Puppeteer runs headless by default, but can be configured to run full (non-headless) Chrome or Chromium.

libtkrzw1t64

set of implementations of DBM - shared library

Tkrzw is a C++ library implementing DBM (Database Manager) with various algorithms. It features high degrees of performance, concurrency, scalability and durability.

pkcs11-provider

OpenSSL 3 provider for PKCS11

With this provider for OpenSSL you can use the OpenSSL library (version 3) and command line tools with any PKCS11 implementation as backend for the crypto operations.

liblist-keywords-perl

selection of list utility keywords

List::Keywords provides keywords that behave (almost) identically to familiar functions from List::Util, but implemented as keyword plugins instead of functions. As a result these run more efficiently, especially in small code cases.

gm2-14-mipsisa64r6el-linux-gnuabi64

GNU Modula-2 compiler for the mipsisa64r6el-linux-gnuabi64 architecture

This is the GNU Modula-2 compiler for the mipsisa64r6el-linux-gnuabi64 architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.