Top 23 Haskell Data structure Projects
:ramen: A tasty Haskell front-end frameworkProject mention: How do you deal with GUI? | reddit.com/r/haskell | 2022-01-13
via ghcjs (miso, etc.)
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
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.
Dapp, Seth, Hevm, and moreProject 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.
Assorted concrete container typesProject 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.
Fake dependent types in Haskell using singletonsProject 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.
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.
A Functional Graph Library for HaskellProject 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".
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.
Implementation of Univalence in Cubical Sets (by simhu)
High performance, regular, shape polymorphic parallel arrays.
A language based on homotopy type theory with an interval
Standard containers, with keys that carry type-level proofs of their own presence.
Priority Search Queues in three different flavors for HaskellProject 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 for Haskell (with value-level counterparts and various operations)
Difference lists in HaskellProject 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.
Edison: A Library of Efficient Data Structures
Unpacked containers using backpack
A set of utilities for using indexed types including containers, equality, and comparison.
♾️ Sized list
Ties the knot on data structures that reference each other by unique keys
Clafer is a lightweight modeling language
Haskell Data structures related posts
How do you deal with GUI?
3 projects | reddit.com/r/haskell | 13 Jan 2022
Integer overflow causes Russel's paradox
1 project | news.ycombinator.com | 22 Dec 2021
What are best practices for testing/ci+cd for solidity?
2 projects | reddit.com/r/ethdev | 13 Dec 2021
Anything like Svelte/Jetpack Compose for Haskell?
4 projects | reddit.com/r/haskell | 4 Dec 2021
Assessing Haskell (blogpost, slightly negative!)
3 projects | reddit.com/r/haskell | 30 Nov 2021
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?
1 project | reddit.com/r/haskell | 25 Nov 2021
People must see haskell-perf/sequences adding DList, Acc & snoc into comparison
5 projects | reddit.com/r/haskell | 22 Nov 2021
What are some of the best open-source Data structure projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.