Haskell Data Structures packages

• « All Tags

Selected Tags

• Data Structures

More Tags

• Data
  53
• Dependent Types
  11
• Math
  10
• Graphs
  9
• Hw
  9
• Algorithms
  8
• Repa
  7
• Succinct Data Structures
  7
• Composition
  6
• Vector
  6
• Records
  5
• Monadic Regions
  5
• Ethereum
  5
• Monads
  5
• System
  5
• Concurrency
  4
• Bit
  4
• Functors
  4
• Model
  4
• List
  4
• Type
  4
• Control
  4
• Text
  4
• Algebra
  4
• Monad
  3
• Safer
  3
• Conduit
  3
• Web
  3
• Map
  3
• Bioinformatics
  3
• Graph
  3
• XML
  2
• Formal Languages
  2
• DevOps
  2
• Stm
  2
• Graphics
  2
• Comonads
  2
• Database
  2
• Distributed Computing
  2
• DrIFT
  2
• Type System
  2
• ByteString
  2
• Dawg
  2
• Data Mining
  2
• Agda
  2
• Containers
  2
• Ixset
  2
• Library
  2
• Bookkeeper
  2

Data Structures packages

Showing projects tagged as Data Structures

• hevm

  10.0 4.8 Haskell

  Dapp, Seth, Hevm, and more
  

• Agda

  10.0 9.9 Haskell

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

• miso

  10.0 6.4 Haskell

  :ramen: A tasty Haskell front-end framework

• algebraic-graphs

  9.9 5.9 Haskell

  Algebraic graphs

• vector

  9.8 8.1 Haskell

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

• containers

  9.8 7.8 Haskell

  Assorted concrete container types
  

• vinyl

  9.7 0.0 Haskell

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

• massiv

  9.7 4.5 Haskell

  Efficient Haskell Arrays featuring Parallel computation

• singletons

  9.7 8.2 Haskell

  Fake dependent types in Haskell using singletons

• fgl

  9.6 4.7 Haskell

  A Functional Graph Library for Haskell
  

• record

  9.6 0.0 Haskell

  Anonymous records

• build

  9.6 3.1 TeX

  Build Systems à la Carte

• repa-eval

  9.4 0.0 Haskell

  High performance, regular, shape polymorphic parallel arrays.
  

• repa-array

  9.4 0.0 Haskell

  High performance, regular, shape polymorphic parallel arrays.
  

• repa-convert

  9.4 0.0 Haskell

  High performance, regular, shape polymorphic parallel arrays.
  

• cubical

  9.4 0.0 Haskell

  Implementation of Univalence in Cubical Sets

• repa-scalar

  9.4 0.0 Haskell

  High performance, regular, shape polymorphic parallel arrays.
  

• kan-extensions

  9.2 5.0 Haskell

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

• semigroups

  9.1 1.1 Haskell

  Haskell 98 semigroups

• typerep-map

  9.1 2.1 Haskell

  ⚡️Efficient implementation of Map with types as keys
  

• parameterized-utils

  9.1 6.0 Haskell

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

• barbies

  9.0 6.0 Haskell

  Classes for working with types that can change clothes.

• hoq

  9.0 0.0 Haskell

  A language based on homotopy type theory with an interval

• psqueues

  9.0 4.4 Haskell

  Priority Search Queues in three different flavors for Haskell

• adjunctions

  9.0 3.3 Haskell

  Simple adjunctions

• ethereum-client-haskell

  9.0 0.0 Haskell

  A Haskell version of an Ethereum client

• 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)

• stm-containers

  8.8 5.2 Haskell

  Containers for STM

• justified-containers

  8.7 0.0 Haskell

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