This package makes it possible to define new commands and tactics for Coq in Elpi.

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.

Wayland is a protocol for a compositor to talk to its clients as well as a C library implementation of that protocol. The compositor can be a standalone display server running on Linux kernel modesetting and evdev input devices, an X application, or a wayland client itself. The clients can be traditional applications, X servers (rootless or fullscreen) or other display servers.

The Open Porous Media (OPM) software suite provides libraries and tools for modeling and simulation of porous media processes, especially for simulating CO2 sequestration and improved and enhanced oil recovery.

GNU Common Lisp (GCL) is a Common Lisp compiler and interpreter implemented in C, and complying mostly with the standard set forth in the book "Common Lisp, the Language I". It attempts to strike a useful middle ground in performance and portability from its design around C.

node-vega-embed makes it easy to embed interactive node-vega and node-vega-lite views into web pages. With node-vega-embed, it is possible to: * Load Vega/Vega-Lite specs from source text, parsed JSON, or URLs * Patch Vega specsto add additional functionality * Add action links such as "View Source" and "Open in Vega Editor" * Include Vega Tooltip