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.