Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Data Structures packages

Showing projects tagged as Data Structures

  • miso

    10.0 6.0 Haskell
    :ramen: A tasty Haskell front-end framework

  • hevm

    10.0 4.8 Haskell
    Dapp, Seth, Hevm, and more

  • Agda

    10.0 9.8 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.

  • algebraic-graphs

    9.9 3.4 Haskell
    Algebraic graphs

  • vector

    9.8 7.9 Haskell
    An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

  • containers

    9.8 6.0 Haskell
    Assorted concrete container types

  • singletons

    9.7 6.3 Haskell
    Fake dependent types in Haskell using singletons

  • vinyl

    9.7 0.0 Haskell
    Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

  • massiv

    9.7 5.9 Haskell
    Efficient Haskell Arrays featuring Parallel computation

  • build

    9.6 2.8 TeX
    Build Systems à la Carte

  • record

    9.6 0.0 Haskell
    Anonymous records

  • fgl

    9.6 6.6 Haskell
    A Functional Graph Library for Haskell

  • repa-scalar

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.

  • repa-convert

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.

  • repa-array

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.

  • repa-eval

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.

  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets

  • kan-extensions

    9.2 4.9 Haskell
    Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

  • semigroups

    9.1 1.1 Haskell
    Haskell 98 semigroups

  • parameterized-utils

    9.1 6.1 Haskell
    A set of utilities for using indexed types including containers, equality, and comparison.

  • typerep-map

    9.1 2.1 Haskell
    ⚡️Efficient implementation of Map with types as keys

  • psqueues

    9.0 5.2 Haskell
    Priority Search Queues in three different flavors for Haskell

  • adjunctions

    9.0 3.3 Haskell
    Simple adjunctions

  • barbies

    9.0 6.0 Haskell
    Classes for working with types that can change clothes.

  • ethereum-client-haskell

    9.0 0.0 Haskell
    A Haskell version of an Ethereum client

  • hoq

    9.0 0.0 Haskell
    A language based on homotopy type theory with an interval

  • distributive

    8.9 2.7 Haskell
    Dual Traversable

  • type-level-sets

    8.8 0.0 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)

  • bookkeeper

    8.7 0.0 Haskell
    Anonymous records and overloaded labels

  • justified-containers

    8.7 0.0 Haskell
    Standard containers, with keys that carry type-level proofs of their own presence.