Haskell Data structures

Open-source Haskell projects categorized as Data structures

Top 23 Haskell Data structure Projects

Data structures
  1. Agda

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

  2. Nutrient

    Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers. Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.

    Nutrient logo
  3. miso

    :ramen: A tasty Haskell front-end framework

  4. hevm

    Dapp, Seth, Hevm, and more

  5. Haskell

  6. containers

    Assorted concrete container types (by haskell)

  7. singletons

    Fake dependent types in Haskell using singletons

  8. vinyl

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

  9. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  10. fgl

    A Functional Graph Library for Haskell

  11. cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  12. repa-array

    High performance, regular, shape polymorphic parallel arrays.

  13. barbies

  14. hoq

    A language based on homotopy type theory with an interval

  15. justified-containers

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

  16. ethereum-client-haskell

  17. type-level-sets

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

  18. psqueues

    Priority Search Queues in three different flavors for Haskell

  19. dlist

    Difference lists in Haskell

  20. parameterized-utils

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

  21. EdisonAPI

    Edison: A Library of Efficient Data Structures

  22. bookkeeper

  23. unpacked-containers

    Unpacked containers using backpack

  24. knit

    Ties the knot on data structures that reference each other by unique keys (by pkamenarsky)

  25. slist

    ♾️ Sized list

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Data structures discussion

Log in or Post with

Haskell Data structures related posts

  • Types versus sets (and what about categories?)

    1 project | news.ycombinator.com | 31 Aug 2023
  • If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?

    5 projects | /r/math | 11 Jul 2023
  • What can Category Theory do?

    2 projects | /r/askmath | 22 Jun 2023
  • haskell todo list app (beginner)

    3 projects | /r/haskell | 8 Jun 2023
  • jsaddle + firefox

    4 projects | /r/haskell | 21 May 2023
  • Amendmend proposal: Changed syntax for Or patterns

    2 projects | /r/haskell | 14 Apr 2023
  • Functional Programming and Maths <|> How can a code monkey learn Agda?

    1 project | /r/functionalprogramming | 26 Mar 2023
  • A note from our sponsor - Nutrient
    www.nutrient.io | 16 Feb 2025
    Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries. Learn more →

Index

What are some of the best open-source Data structure projects in Haskell? This list will help you:

# Project Stars
1 Agda 2,571
2 miso 2,221
3 hevm 2,098
4 Haskell 392
5 containers 326
6 singletons 288
7 vinyl 262
8 fgl 188
9 cubical 144
10 repa-array 139
11 barbies 92
12 hoq 84
13 justified-containers 79
14 ethereum-client-haskell 77
15 type-level-sets 66
16 psqueues 65
17 dlist 65
18 parameterized-utils 60
19 EdisonAPI 55
20 bookkeeper 55
21 unpacked-containers 52
22 knit 47
23 slist 46

Sponsored
Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers
Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.
www.nutrient.io

Did you know that Haskell is
the 25th most popular programming language
based on number of references?