Top 23 Haskell Data structure Projects
:ramen: A tasty Haskell front-end frameworkProject 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.
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: 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.
Dapp, Seth, Hevm, and moreProject 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.
Assorted concrete container typesProject 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).
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 Haskell
Run Linux Software Faster and Safer than Linux with Unikernels.
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 Haskell
Type-level sets for Haskell (with value-level counterparts and various operations)
Difference lists in Haskell
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
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.