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