Top 23 Haskell Data structure Projects
-
via ghcjs (miso, etc.)
-
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.
-
It fits into the stack the same way that Hardhat, Truffle, and Dapp Tools do.
-
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.
-
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)
I would also like to see how this compares with data types à la carte or an extensible records solution like vinyl.
-
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.
-
-
-
-
justified-containers
Standard containers, with keys that carry type-level proofs of their own presence.
-
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.
-
-
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.
-
-
-
parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
-
-
-
Haskell Data structures related posts
- How do you deal with GUI?
- Integer overflow causes Russel's paradox
- What are best practices for testing/ci+cd for solidity?
- Anything like Svelte/Jetpack Compose for Haskell?
- Assessing Haskell (blogpost, slightly negative!)
- Is a a MONAD in Haskell just the functional equivalent of a generic type (such as in C#) and how do MONADs enable things like saving data?
- People must see haskell-perf/sequences adding DList, Acc & snoc into comparison
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 |
Are you hiring? Post a new remote job listing for free.
