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.