libcoq-elpi
Coq plugin embedding Elpi
This package makes it possible to define new commands and tactics
for Coq in Elpi.
python3-sphinxcontrib.django
improves the documentation of Django apps (Python3 version)
This is a sphinx extension which improves the documentation of Django apps.
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.
node-should-sinon
Sinon.js assertions for should.js
should is an expressive, readable, framework-agnostic assertion
library. The main goals of this library are to be expressive and to
be helpful. It keeps your test code clean, and your error messages
helpful.
libnccl2
NVIDIA Optimized primitives for inter-GPU communication
NCCL (pronounced "Nickel") is a stand-alone library of standard communication
routines for GPUs, implementing all-reduce, all-gather, reduce, broadcast,
reduce-scatter, as well as any send/receive based communication pattern. It
has been optimized to achieve high bandwidth on platforms using PCIe, NVLink,
NVswitch, as well as networking using InfiniBand Verbs or TCP/IP sockets. NCCL
supports an arbitrary number of GPUs installed in a single node or across
multiple nodes, and can be used in either single- or multi-process (e.g., MPI)
applications.
libceres4t64
nonlinear least squares minimizer (shared library)
Ceres Solver is an open source C++ library for modeling and solving large,
complicated optimization problems.
It is a feature rich, mature and performant library which has been used
in production at Google since 2010.