libcoq-quickchick
randomized testing framework for Coq (plugin)
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
quickchick
randomized testing framework for Coq (tools)
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
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.
gdm-settings
settings app for GNOME's Login Manager, GDM
Configure GDM settings using a graphical interface.
libignition-physics5-bullet-plugin5
Ignition Physics classes and functions for robot apps - Bullet library
Ignition Physics is a component in the ignition framework, a set of libraries
designed to rapidly develop robot applications.