Haskell Data structures

Open-source Haskell projects categorized as Data structures
Edit details
Haskell Dependent Types Monads Data Composition
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 23 Haskell Data structure Projects

Haskell logo
Data structures

  1. Agda

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

  2. SaaSHub

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

    SaaSHub logo

  3. miso

    :ramen: A tasty Haskell web framework

    Project mention: Haskell Miso v1.9.0 Released | news.ycombinator.com | 2026-04-02

  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. fgl

    A Functional Graph Library for Haskell

  10. repa-array

    High performance, regular, shape polymorphic parallel arrays.

  11. cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  12. barbies

  13. hoq

    A language based on homotopy type theory with an interval

  14. justified-containers

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

  15. ethereum-client-haskell

  16. psqueues

    Priority Search Queues in three different flavors for Haskell

  17. dlist

    Difference lists in Haskell

  18. type-level-sets

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

  19. parameterized-utils

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

  20. EdisonAPI

    Edison: A Library of Efficient Data Structures

  21. bookkeeper

  22. unpacked-containers

    Unpacked containers using backpack

  23. knit

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

  24. slist

    ♾️ Sized list

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

  • Haskell Miso v1.9.0 Released

    1 project | news.ycombinator.com | 2 Apr 2026

  • 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
  • A note from our sponsor - SaaSHub
    www.saashub.com | 14 Jun 2026
    SaaSHub helps you find the best software and product alternatives 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,869
2 miso 2,409
3 hevm 2,125
4 Haskell 417
5 containers 352
6 singletons 294
7 vinyl 261
8 fgl 199
9 repa-array 145
10 cubical 145
11 barbies 93
12 hoq 84
13 justified-containers 81
14 ethereum-client-haskell 77
15 psqueues 67
16 dlist 66
17 type-level-sets 65
18 parameterized-utils 60
19 EdisonAPI 57
20 bookkeeper 54
21 unpacked-containers 52
22 knit 48
23 slist 48

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...