Data Structures packages

Showing projects tagged as Data Structures

  • Agda

    9.9 9.8 Haskell
    A dependently typed functional programming language and proof assistant
  • algebraic-graphs

    9.9 7.2 Haskell
    A library for algebraic graph construction and transformation
  • containers

    9.8 6.6 Haskell
    Assorted concrete container types
  • vinyl

    9.7 8.2 Haskell
    Extensible Records
  • miso

    9.7 8.1 Haskell
    A tasty Haskell front-end framework
  • vector

    9.7 5.4 Haskell
    Efficient Arrays
  • massiv

    9.6 9.2 Haskell
    Massiv (Массив) is an Array Library.
  • singletons

    9.6 7.3 Haskell
    A framework for generating singleton types
  • record

    9.6 0.0 Haskell
    Anonymous records
  • exposed-containers

    9.5 0.0 Haskell
    A distribution of the 'containers' package, with all modules exposed.
  • fgl

    9.5 3.2 Haskell
    Martin Erwig's Functional Graph Library
  • repa-convert

    9.4 3.1 Haskell
    Packing and unpacking flat tables.
  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • repa-array

    9.4 3.1 Haskell
    Bulk array representations and operators.
  • repa-scalar

    9.4 3.1 Haskell
    Scalar data types and conversions.
  • repa-eval

    9.4 3.1 Haskell
    Low-level parallel operators on bulk random-accessble arrays.
  • semigroups

    9.1 5.7 Haskell
    Anything that associates
  • parameterized-utils

    9.1 8.1 Haskell
    Classes and data structures for working with data-kind indexed types
  • kan-extensions

    9.1 4.2 Haskell
    Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
  • ethereum-client-haskell

    9.0 0.0 Haskell
    A Haskell version of an Ethereum client
  • psqueues

    8.9 3.1 Haskell
    Pure priority search queues
  • hoq

    8.8 0.0 Haskell
    A language based on homotopy type theory with an interval type
  • adjunctions

    8.8 3.9 Haskell
    Adjunctions and representable functors
  • bookkeeper

    8.8 0.0 Haskell
    Anonymous records and overloaded labels
  • distributive

    8.7 3.8 Haskell
    Distributive functors -- Dual to Traversable
  • clafer

    8.6 1.4 Haskell
    Compiles Clafer models to other formats
  • type-level-sets

    8.4 2.5 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • EdisonAPI

    8.3 0.0 Haskell
    A library of efficient, purely-functional data structures (API)
  • graphs

    8.2 3.8 Haskell
    A simple monadic graph library
  • stm-containers

    8.2 5.6 Haskell
    Containers for STM