Haskell Data structures

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

Top 23 Haskell Data structure Projects

  • GitHub repo miso

    :ramen: A tasty Haskell front-end framework

    Project mention: Memory from finished thread is not getting reclaimed | reddit.com/r/haskell | 2021-09-09

    Other than that, I ran into a GHCJS and Miso bug, but they weren't too hard to solve.

  • GitHub repo Agda

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

    Project mention: What input method would you prefer for Unicode characters in a neovim plugin? | reddit.com/r/agda | 2021-10-18

    My best guess is that it has not really been maintained lately, there were only 12 commits in the last 7 years, some of which are just global modifications, which include this file as well: https://github.com/agda/agda/commits/136f85386ec43245745b76f03505bda4f5d1ed3f/src/full/Agda/Interaction/Highlighting/Vim.hs

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo hevm

    Dapp, Seth, Hevm, and more

    Project mention: The State of Coordination, Community, and Future Impact | reddit.com/r/ethereum | 2021-10-01

    Firstly, I'm warning you that I'm going to shill some amazing things in the Ethereum ecosystem. I would even go so far to say as some of these things are so positive sum and self-evidently public goods that shilling them in the ethereum subreddit should be considered neutral. For example, GitcoinDAO is a place where we all have the permissionless ability to coordinate in building tools and services, like dapptools, for all open-source software, full stop. There's ways to fundraise in public besides joining Discord or sliding into Twitter DM's, like Juicebox. There is a plethora of industry leaders exploring decentralized hosting for bluechip-scale applications, such as Skynet.

  • GitHub repo containers

    Assorted concrete container types

    Project mention: Looking for projects that make heavy use of IntMap which have benchmarks | reddit.com/r/haskell | 2021-09-18

    I asked this on the libraries mailing list but thought posting here would bring in potentially more responses. I made a recent change to the behaviour of lookup and find (see here for more details: https://github.com/haskell/containers/pull/800).

  • GitHub repo 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.

  • GitHub repo 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.

  • GitHub repo fgl

    A Functional Graph Library for Haskell

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  • GitHub repo repa-array

    High performance, regular, shape polymorphic parallel arrays.

  • GitHub repo hoq

    A language based on homotopy type theory with an interval

  • GitHub repo ethereum-client-haskell

  • GitHub repo barbies

  • GitHub repo justified-containers

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

  • GitHub repo psqueues

    Priority Search Queues in three different flavors for Haskell

  • GitHub repo type-level-sets

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

  • GitHub repo dlist

    Difference lists in Haskell

  • GitHub repo EdisonAPI

    Edison: A Library of Efficient Data Structures

  • GitHub repo unpacked-containers

    Unpacked containers using backpack

  • GitHub repo bookkeeper

  • GitHub repo parameterized-utils

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

  • GitHub repo slist

    ♾️ Sized list

  • GitHub repo knit

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

  • GitHub repo 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 2021-10-18.

Index

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

Project Stars
1 miso 1,879
2 Agda 1,635
3 hevm 855
4 containers 278
5 singletons 252
6 vinyl 243
7 fgl 156
8 cubical 128
9 repa-array 122
10 hoq 77
11 ethereum-client-haskell 74
12 barbies 67
13 justified-containers 64
14 psqueues 58
15 type-level-sets 56
16 dlist 53
17 EdisonAPI 52
18 unpacked-containers 51
19 bookkeeper 50
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 39 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com