Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 23 Haskell Data structure Projects
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
vinyl
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. (by VinylRecords)
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
justified-containers
Standard containers, with keys that carry type-level proofs of their own presence.
-
parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
This was recently deemed inappropriate:
"Bye bye Set"
"Set and Prop are removed as keywords"
https://github.com/agda/agda/pull/4629
Haskell Data structures related posts
- Types versus sets (and what about categories?)
- If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?
- What can Category Theory do?
- haskell todo list app (beginner)
- jsaddle + firefox
- Amendmend proposal: Changed syntax for Or patterns
- Functional Programming and Maths <|> How can a code monkey learn Agda?
-
A note from our sponsor - InfluxDB
www.influxdata.com | 30 Apr 2024
Index
What are some of the best open-source Data structure projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | Agda | 2,371 |
2 | miso | 2,139 |
3 | hevm | 2,044 |
4 | Haskell | 371 |
5 | containers | 313 |
6 | singletons | 282 |
7 | vinyl | 260 |
8 | fgl | 183 |
9 | cubical | 142 |
10 | repa-array | 132 |
11 | barbies | 90 |
12 | hoq | 82 |
13 | justified-containers | 79 |
14 | ethereum-client-haskell | 77 |
15 | type-level-sets | 65 |
16 | dlist | 64 |
17 | psqueues | 63 |
18 | parameterized-utils | 58 |
19 | bookkeeper | 54 |
20 | EdisonAPI | 53 |
21 | unpacked-containers | 51 |
22 | knit | 47 |
23 | slist | 46 |
Sponsored