InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Top 23 Haskell Language Projects
-
The goal of fp-ts is to empower developers to write pure FP apps and libraries built atop higher order abstractions. It includes the most popular data types, type classes, and abstractions from languages like Haskell, PureScript, and Scala.
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
Rich has many great ideas and he founded Clojure. I respect him deeply. On typing, however, we do not agree entirely.
For a practical example of a Clojure-like language with a completely static type system (with affine typing), see Carp. https://github.com/carp-lang/Carp
I don't see why there can't be a Carp mode in jank, with bridges in place to connect the Clojurey world from the Carpy world. This would allow jank users to develop interactively to start with, figure out their shapes, use the REPL, etc. Then, if they want, they can lock down some parts of the code for both performance and correctness gains.
-
- Project mention: Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] | news.ycombinator.com | 2025-04-07
I am not sure, but as a Typescripter, I think I'd find refinement types easier - https://github.com/ucsd-progsys/liquidhaskell
I am not sure if they serve the same purpose or how the venn diagrams overlap on this, but in 2000 I loved the idea of the assersion in Ada, and I love even more the idea the type system can prove your number is between 1 and 10 (etc.).
I reckon it occasionally will catch a bug, but more than that is perfect documentation. I don't want delay to be an int, I want it to be a RateLimitBackoffDelaySeconds which is between >0 and <60, for example.
-
-
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).
Haskell Language discussion
Haskell Language related posts
-
The Futhark Programming Language
-
Type-Machine
-
Futhark – Automatic C imports in Nim
-
Nothing Janky About This New Programming Language
-
Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf]
-
An Ode to TypeScript Enums
-
What about K?
- A note from our sponsor - InfluxDB www.influxdata.com | 20 Dec 2025
Index
What are some of the best open-source Language projects in Haskell? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | purescript | 8,815 |
| 2 | Carp | 5,768 |
| 3 | futhark | 2,633 |
| 4 | liquidhaskell | 1,275 |
| 5 | cryptol | 1,191 |
| 6 | kitten | 1,135 |
| 7 | polysemy | 1,070 |
| 8 | brittany | 689 |
| 9 | DSLsofMath | 445 |
| 10 | ivory | 402 |
| 11 | haskell-tools-ast | 249 |
| 12 | frp-arduino | 249 |
| 13 | axel | 213 |
| 14 | morloc | 206 |
| 15 | haskell-src-exts | 202 |
| 16 | elsa | 191 |
| 17 | caledon | 173 |
| 18 | shentong | 170 |
| 19 | language-javascript | 161 |
| 20 | liquid-fixpoint | 155 |
| 21 | tal | 149 |
| 22 | camfort | 140 |
| 23 | type-of-html | 128 |
Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io