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 Functional programming Projects
-
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.
-
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.
-
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
Project mention: Java at 30: The Genius Behind the Code That Changed Tech | news.ycombinator.com | 2025-05-16
> Haskell
https://github.com/Frege/frege
https://github.com/typelead/eta
Of the others you mentioned, I bet there's a couple JVM Prologs out there, but haven't encountered any myself.
-
Project mention: Ask HN: What resources do you recommend for learning Haskell? | news.ycombinator.com | 2024-07-21
-
-
-
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.
-
-
grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. (by grin-compiler)
-
-
-
-
-
NeoHaskell
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
Haskell could be a great practical language if some constraints were introduced, e.g. limiting the language extensions used. https://www.simplehaskell.org attempted to do this and, currently, https://neohaskell.org is going in the same direction. After all, Haskell '98 is not that hard.
Personally, I think Haskell, or something like Haskell, is going to be reasonably popular in the near future. Functional programming and an expressive type system are great for ML-powered synthesis. You provide the type signature, and the machine fills in the function body. Furthermore, with dependent or refinement types, the solution can be verified to be correct.
-
dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
-
tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
-
-
shopping-cart-haskell
:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
-
-
-
-
manual-stg-experiment
Manually constructed STG programs compiled with the standard GHC codegen backend.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Functional programming discussion
Haskell Functional programming related posts
-
Jank Programming Language
-
Abstraction boundaries are optimization boundaries
-
Haskelling My Python
-
Ask HN: What resources do you recommend for learning Haskell?
-
The Pre-Scheme Restoration project is now underway
-
Leaving Haskell Behind
-
ПП-BESM – a Soviet language (1955)
-
A note from our sponsor - InfluxDB
www.influxdata.com | 9 Jul 2025
Index
What are some of the best open-source Functional programming projects in Haskell? This list will help you:
# | Project | Stars |
---|---|---|
1 | Carp | 5,678 |
2 | Kind | 3,685 |
3 | write-you-a-haskell | 3,391 |
4 | eta | 2,621 |
5 | wiwinwlh | 2,581 |
6 | Gifcurry | 1,394 |
7 | course-plan | 1,414 |
8 | codeworld | 1,258 |
9 | grin | 1,039 |
10 | egison | 920 |
11 | haskell-exercises | 649 |
12 | DSLsofMath | 440 |
13 | Haskell | 397 |
14 | csound-expression | 328 |
15 | NeoHaskell | 313 |
16 | dunai | 220 |
17 | tensor-safe | 102 |
18 | birb | 95 |
19 | shopping-cart-haskell | 64 |
20 | fp-notes | 29 |
21 | ariel | 25 |
22 | titan | 23 |
23 | manual-stg-experiment | 23 |