Haskell Data structures

Open-source Haskell projects categorized as Data structures | Edit details

Top 23 Haskell Data structure Projects

  • miso

    :ramen: A tasty Haskell front-end framework

    Project mention: How do you deal with GUI? | reddit.com/r/haskell | 2022-01-13

    via ghcjs (miso, etc.)

  • Agda

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

    Project mention: Ask HN: What technology is “cutting edge” in 2022? | news.ycombinator.com | 2022-01-23
  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • hevm

    Dapp, Seth, Hevm, and more

    Project mention: Building Smart Contracts with Foundry by Paradigm | dev.to | 2021-12-20

    It fits into the stack the same way that Hardhat, Truffle, and Dapp Tools do.

  • containers

    Assorted concrete container types

    Project mention: Assessing Haskell (blogpost, slightly negative!) | reddit.com/r/haskell | 2021-11-30

    Calling linked lists Haskell's "primary data structure" seems off-base to me. Yes, there's String, yes, there's built-in syntax for List... but there's also everything in containers, and vector is pretty easy to use in practice, though it would probably be good for more learning material to mention it more prominently.

  • singletons

    Fake dependent types in Haskell using singletons

    Project mention: Hey Rustaceans! Got an easy question? Ask here (12/2021)! | reddit.com/r/rust | 2021-03-22

    In Haskell, you can do this with various trickery involving GADTs/constraints/singletons.

  • vinyl

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

    Project mention: Typed Markdown Revisited | reddit.com/r/haskell | 2021-04-23

    I would also like to see how this compares with data types à la carte or an extensible records solution like vinyl.

  • fgl

    A Functional Graph Library for Haskell

    Project mention: -🎄- 2021 Day 12 Solutions -🎄- | reddit.com/r/adventofcode | 2021-12-11

    Using fgl but only as a data structure this time, with edge labels denoting whether the target is a big room. Not using any of its algorithms as it doesn't have anything built-in for "traversal with re-visiting".

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  • repa-array

    High performance, regular, shape polymorphic parallel arrays.

  • hoq

    A language based on homotopy type theory with an interval

  • ethereum-client-haskell

  • barbies

  • justified-containers

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

  • psqueues

    Priority Search Queues in three different flavors for Haskell

    Project mention: -🎄- 2021 Day 15 Solutions -🎄- | reddit.com/r/adventofcode | 2021-12-14

    A super-ugly Dijkstra implementation with psqueues for priority queues. Before I took them into use the first part took ~10 sec, after that it's ~60ms, and 2.5s for the second part. I believe, there's still room for optimization, but it's enough for today.

  • type-level-sets

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

  • dlist

    Difference lists in Haskell

    Project mention: People must see haskell-perf/sequences adding DList, Acc & snoc into comparison | reddit.com/r/haskell | 2021-11-22

    Here, I just made you a ticket.

  • EdisonAPI

    Edison: A Library of Efficient Data Structures

  • unpacked-containers

    Unpacked containers using backpack

  • bookkeeper

  • parameterized-utils

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

  • slist

    ♾️ Sized list

  • knit

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

  • clafer

    Clafer is a lightweight modeling language

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). The latest post mention was on 2022-01-23.

Haskell Data structures related posts

Index

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

Project Stars
1 miso 1,924
2 Agda 1,719
3 hevm 1,181
4 containers 280
5 singletons 253
6 vinyl 246
7 fgl 159
8 cubical 134
9 repa-array 122
10 hoq 78
11 ethereum-client-haskell 74
12 barbies 67
13 justified-containers 65
14 psqueues 60
15 type-level-sets 60
16 dlist 56
17 EdisonAPI 52
18 unpacked-containers 51
19 bookkeeper 51
20 parameterized-utils 46
21 slist 46
22 knit 45
23 clafer 43
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms