Category: Data Types and Data Structures
- Containers: Containers: a typeclass-based library of finite sets/maps
Stéphane Lescuyer - Dictionaries: Dictionaries (with modules)
Pierre Castéran - FSets: Finite Sets overs Ordered Types
Jean-Christophe Filliâtre, Pierre Letouzey - FingerTree: Dependent Finger Trees
Matthieu Sozeau - Float: Library for floating point numbers
Laurent Théry, Sylvie Boldo - IEEE754: A formalisation of the IEEE754 norm on floating-point arithmetic
Patrick Loiseleur - IdxAssoc: Associative Arrays
Dominique Quatravaux, François-René Ridaux, Gérald Macinenti - IntMap: Maps indexed by binary integers : IntMap
Jean Goubault - LemmaOverloading: How to Make Ad Hoc Proof Automation Less Ad Hoc
Aleksandar Nanevski, Beta Ziliani, Derek Dreyer, Georges Gonthier - SearchTrees: Binary Search Trees
Pierre Castéran - ZSearchTrees: Binary Search Trees
Pierre Castéran
