libcoq-hammer-tactics

automated reasoning tool for Coq (tactics)

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

libcoq-extructures

data structures with extensional reasoning for Coq

This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.

libcoq-deriving

deriving MathComp classes from inductive types

This package builds instances of MathComp classes with little boilerplate, mimicking Haskell's deriving facility.

libliggghts3t64

Open Source DEM Particle Simulation Software. Shared library

LIGGGHTS stands for LAMMPS improved for general granular and granular heat transfer simulations.

jpegqs

JPEG artifacts removal tool

JPEG Quant Smooth tries to recover the lost precision of DCT coefficients based on a quantization table from a JPEG image.

libmozjs-115-0t64

SpiderMonkey JavaScript library

SpiderMonkey is the code-name for Mozilla Firefox's C++ implementation of JavaScript. It is intended to be embedded in other applications that provide host environments for JavaScript.