SaaSHub helps you find the best software and product alternatives Learn more →
Top 23 Haskell Data structure Projects
:ramen: A tasty Haskell front-end frameworkProject mention: Resurrection/modernization of an old Haskell+Haste project (boardgame Yinsh) | reddit.com/r/haskell | 2023-02-08
Agda is a dependently typed programming language / interactive theorem prover.Project mention: FP language idea - would this is possible to infer and type check? | reddit.com/r/haskell | 2023-01-26
Agda has the so-called mixfix operators (which are powerful enough to cover pre/in/postfix cases with an arbitrary number of arguments), check that out: - https://agda.readthedocs.io/en/v2.6.1/language/mixfix-operators.html - https://github.com/agda/agda/blob/master/examples/Introduction/Operators.agda - https://github.com/agda/agda-stdlib/blob/master/src/Data/Product/Base.agda
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Dapp, Seth, Hevm, and moreProject mention: The Ethereum Virtual Machine (EVM) - What Is It and How to Make Business on It? | dev.to | 2022-06-30
hevm - written in Haskel
Project mention: My Favorite Language has Changed to PHP | reddit.com/r/PHP | 2022-03-16
Assorted concrete container types (by haskell)Project mention: Programming with -XStrict/Unlifted datatypes and associated ecosystem/libraries/preludes | reddit.com/r/haskell | 2022-12-30
"Make invalid laziness unrepresentable" means you should use strict versions of container types instead of lazy ones. However, for better or for worse, sometimes the "strict version" of a data type is not actually a strict data type, it's just a strict API to the lazy type. Examples include Data.Map.Strict (not Data.Map or Data.Map.Lazy) or Data.HashMap.Strict (not Data.HashMap.Lazy) (sadly there is no Data.Sequence.Strict but perhaps there will be one day).
Fake dependent types in Haskell using singletonsProject mention: Is it possible to create singleton types for datatype wrapping String/Text? | reddit.com/r/haskell | 2022-07-06
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. (by VinylRecords)Project mention: Making sense of TypeScript using set theory | news.ycombinator.com | 2023-01-24
> Having set types like this and refining them smaller is something I wish Haskell would learn from Typescript, especially the automatic inference side
Haskell has far better type inference than Typescript in large part because it doesn't have subtyping.
There are libraries for open records and sums (e.g. https://hackage.haskell.org/package/vinyl) but they're almost always the wrong choice.
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
A Functional Graph Library for HaskellProject mention: N-ary Tree data structure with efficient parent access? | reddit.com/r/haskellquestions | 2022-12-18
Your names are good, I reckon it is Martin Erwig's fgl stuff and Andrey Mokhov's algebraic-graphs that you have in mind.
Implementation of Univalence in Cubical Sets (by simhu)
High performance, regular, shape polymorphic parallel arrays.
Standard containers, with keys that carry type-level proofs of their own presence.
A language based on homotopy type theory with an interval
Type-level sets for Haskell (with value-level counterparts and various operations)
Priority Search Queues in three different flavors for Haskell
Difference lists in Haskell
A set of utilities for using indexed types including containers, equality, and comparison.
Edison: A Library of Efficient Data Structures
Unpacked containers using backpack
♾️ Sized list
Ties the knot on data structures that reference each other by unique keys (by pkamenarsky)
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Data structures related posts
FP language idea - would this is possible to infer and type check?
1 project | reddit.com/r/haskell | 26 Jan 2023
Making sense of TypeScript using set theory
2 projects | news.ycombinator.com | 24 Jan 2023
Best Programming Language for Computational Proof
3 projects | reddit.com/r/math | 21 Jan 2023
Building not-gloss package
6 projects | reddit.com/r/haskell | 30 Dec 2022
Programming with -XStrict/Unlifted datatypes and associated ecosystem/libraries/preludes
2 projects | reddit.com/r/haskell | 30 Dec 2022
Extensible ASTs with extensible types
3 projects | reddit.com/r/haskell | 28 Dec 2022
N-ary Tree data structure with efficient parent access?
1 project | reddit.com/r/haskellquestions | 18 Dec 2022
A note from our sponsor - #<SponsorshipServiceOld:0x00007fea5962dc20>
www.saashub.com | 9 Feb 2023
What are some of the best open-source Data structure projects in Haskell? This list will help you: