Category: Data Types and Data Structures
- Dictionaries: Dictionaries (with modules)
Pierre Castéran - SearchTrees: Binary Search Trees
Pierre Castéran - ZSearchTrees: Binary Search Trees
Pierre Castéran - IntMap: Maps indexed by binary integers : IntMap
Jean Goubault - IdxAssoc: Associative Arrays
François-René Ridaux, Dominique Quatravaux, Gérald Macinenti - IEEE754: A formalisation of the IEEE754 norm on floating-point arithmetic
Patrick Loiseleur - FSets: Finite Sets overs Ordered Types
Jean-Christophe Filliâtre, Pierre Letouzey - FingerTrees: Dependent Finger Trees
Matthieu Sozeau - Float: Library for floating point numbers
Sylvie Boldo, Laurent Théry