Data Structures packages

Showing projects tagged as Data Structures

  • miso

    10.0 0.0 Haskell
    :ramen: A tasty Haskell front-end framework
  • Agda

    10.0 9.8 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.
  • algebraic-graphs

    9.9 1.0 Haskell
    Algebraic graphs
  • vector

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

    9.8 4.7 Haskell
    Assorted concrete container types
  • hevm

    9.8 9.6 Haskell
    Dapp, Seth, Hevm, and more
  • singletons

    9.7 4.2 Haskell
    Fake dependent types in Haskell using singletons
  • vinyl

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

    9.7 6.5 Haskell
    Efficient Haskell Arrays featuring Parallel computation
  • record

    9.6 0.0 Haskell
    Anonymous records
  • fgl

    9.6 0.3 Haskell
    A Functional Graph Library for Haskell
  • repa-scalar

    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.
  • repa-array

    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.
  • build

    9.5 2.4 TeX
    Build Systems à la Carte
  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • parameterized-utils

    9.3 7.3 Haskell
    A set of utilities for using indexed types including containers, equality, and comparison.
  • semigroups

    9.2 3.5 Haskell
    Haskell 98 semigroups
  • kan-extensions

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

    9.1 0.0 Haskell
    A language based on homotopy type theory with an interval
  • psqueues

    9.1 0.0 Haskell
    Priority Search Queues in three different flavors for Haskell
  • distributive

    9.0 2.5 Haskell
    Dual Traversable
  • adjunctions

    9.0 0.7 Haskell
    Simple adjunctions
  • typerep-map

    9.0 3.4 Haskell
    ⚡️Efficient implementation of Map with types as keys
  • ethereum-client-haskell

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

    8.8 0.0 Haskell
    Anonymous records and overloaded labels
  • clafer

    8.7 0.0 Haskell
    Clafer is a lightweight modeling language
  • type-level-sets

    8.7 0.0 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)
  • barbies

    8.7 2.3 Haskell
    Classes for working with types that can change clothes.