12 search results for "tag:"category: Computer Science/Data Types and Data Structures""

Showing 1 - 12

coq-containers

No documentation

Containers: a typeclass-based library of finite sets/maps

keyword: data structures keyword: type classes category: Computer Science/Data Types and Data Structures

Stéphane Lescuyer

8.10.0

Unknown

Used by 0 other packages

19 Oct 2020
coq-dep-map

No documentation

Dependent Maps

keyword: maps keyword: dependent maps category: Computer Science/Data Types and Data Structures

Lionel Rieg <lionel.rieg@college-de-france.fr>

8.10.0

CeCILL-B

Used by 0 other packages

07 Dec 2019
coq-dictionaries

No documentation

Dictionaries (with modules)

keyword: modules keyword: functors keyword: search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures date: 2003-02-6

Pierre Castéran <casteran@labri.fr>

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-finger-tree

No documentation

Dependent Finger Trees

keyword: data structures keyword: dependent types keyword: Finger Trees category: Computer Science/Data Types and Data Structures date: 2009-02

Matthieu Sozeau <mattam@mattam.org> [http://mattam.org]

8.10.0

LGPL

Used by 0 other packages

07 Dec 2019
coq-float

No documentation

Library for floating-point numbers

keyword: floating-point arithmetic category: Computer Science/Data Types and Data Structures date: 2001

Laurent Théry Sylvie Boldo

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-fsets

No documentation

Finite Sets overs Ordered Types

keyword: finite sets keyword: sorted lists keyword: balanced trees keyword: red-black trees keyword: AVL keyword: functors keyword: data structures category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures

Pierre Letouzey Jean-Christophe Filliâtre

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-idxassoc

No documentation

Associative Arrays

keyword: associative arrays keyword: search operator keyword: data structures category: Computer Science/Data Types and Data Structures date: April 2001

Dominique Quatravaux François-René Ridaux Gérald Macinenti

8.10.0

BSD with advertising clause

Used by 0 other packages

07 Dec 2019
coq-ieee754

No documentation

A formalisation of the IEEE754 norm on floating-point arithmetic

keyword: floating-point arithmetic keyword: IEEE category: Computer Science/Data Types and Data Structures category: Computer Science/Semantics and Compilation/Semantics date: 1997

Patrick Loiseleur

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-int-map

No documentation

Maps indexed by binary integers : IntMap

keyword: finite sets keyword: maps keyword: binary integers keyword: efficient data structures keyword: data structures category: Computer Science/Data Types and Data Structures date: around 1999 (integrated within Coq 7.0)

Jean Goubault <goubault [@] lsv.ens-cachan.fr>

8.10.0

Unknown

Used by 4 other packages

07 Dec 2019
coq-search-trees

No documentation

Binary Search Trees

keyword: binary search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures

Pierre Castéran

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-traversable-fincontainer

No documentation

Traversable Functors are Finitary Containers

keyword: finitary container keyword: traversable functors category: Computer Science/Data Types and Data Structures

Russell O'Connor <oconnorr@google.com>

8.10.0

ASL

Used by 0 other packages

07 Dec 2019
coq-zsearch-trees

No documentation

Binary Search Trees

keyword: binary search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures

Pierre Castéran

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019