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.