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.