SaaSHub helps you find the best software and product alternatives Learn more →
Top 23 Haskell Open-Source Projects
-
-
InfluxDB
InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
-
Project mention: Open source and self hostable/private file converter | news.ycombinator.com | 2025-04-12
-
Hasura
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
Hasura is a neck-to-neck competitor to Supabase as a BaaS, but with a crucial difference: its GraphQL-first approach. Unlike Supabase, Hasura doesn't bundle database services, allowing it to work with virtually any database including Supabase's own Postgres, Neon, and others.
-
This is especially helpful because Supabase uses PostegREST under the hood, which does not support OpenAPI 3.x. Note that some Postgres specific features like enums are not converted to JSON Schema enums as Sequelize doesn't expose that information.
-
-
Using a full-stack framework with batteries-included, such as Wasp for JavaScript (React, Node.js, Prisma) or Laravel for PHP, takes the complexity out of piecing the different parts of the stack together. Since these frameworks are opinionated, they've chosen a set of tools that work well together, and the have the added benefit of doing a lot of work under-the-hood. In the end, the AI can focus on just the business logic of the app.
-
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
IMO Bartosz Milewski gave a pretty good answer to the "why" question in the preface to his book:
> Second, there are many different kinds of math, and they appeal to different audiences. You might be allergic to calculus or algebra, but it doesn’t mean you won’t enjoy category theory. I would go as far as to argue that category theory is the kind of math that is particularly well suited for the minds of programmers. That’s because category theory — rather than dealing with particulars — deals with structure. It deals with the kind of structure that makes programs composable.
Composition is at the very root of category theory — it’s part of the definition of the category itself. And I will argue strongly that composition is the essence of programming. We’ve been composing things forever, long before some great engineer came up with the idea of a subroutine. Some time ago the principles of structured programming revolutionized programming because they made blocks of code composable. Then came object oriented programming, which is all about composing objects. Functional programming is not only about composing functions and algebraic data structures — it makes concurrency composable — something that’s virtually impossible with other programming paradigms.
https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
And regarding:
> Anything that could be useful to you from CT can be explained in one afternoon over some coffee or beer.
Yes, you can go through the definitions, but you won't understand all of those concepts in one afternoon unless you're a savant.
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
Project mention: Dockerfile Best Practices: The Ultimate Guide to Optimizing Your Container Builds | dev.to | 2025-03-17
[Source: Hadolint on GitHub]
-
awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
-
When I see this it makes me want to run for ReasonML/ReScript/Elm/PureScript.
Sum types (without payloads on the instances they are effectively enums) should not require a evening filling ceremonial dance event to define.
https://reasonml.github.io/
https://rescript-lang.org/
https://elm-lang.org/
https://www.purescript.org/
(any I forgot?)
It's nice that TS is a strict super set of JS... But that's about the only reason TS is nice. Apart from that the "being a strict super set" hampers TS is a million and one ways.
To my JS is too broken to fix with a strict super set.
-
simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
-
-
Project mention: Show HN: Mandala – Automatically save, query and version Python computations | news.ycombinator.com | 2024-07-11
Used something similar to this in the past: https://github.com/bmabey/provenance. Curious to see similarities/differences. Also reminds me of Unison at a conceptual level: https://github.com/unisonweb/unison
-
ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Project mention: IHP: Type-safe web framework in Haskell and Nix | news.ycombinator.com | 2025-01-15 -
extism
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
I started using WebAssembly in earnest a few months ago to make a backend auth library that works in several different languages[0]. It's built on Extism[1], which abstracts away some of the interfacing complexity. It's been an awesome experience. Frequently feels like magic.
WASM is in an interesting place. The value has clearly been proved with a pretty minimal core spec. Now there's a big push to implement a much larger API surface for WASI and the Component Model. A lot of people in the community are concerned about this direction, or at least the way it's happening[2].
For my part, I hope WASM doesn't go the way of the rest of web browsers where it gets so complicated that only Big Tech is capable of making implementations and experimenting.
[0]: https://github.com/lastlogin-net/decent-auth
[1]: https://extism.org/
[2]: https://www.assemblyscript.org/standards-objections.html
-
Koka is still pretty much one person's project [0], and it's not for lack of PRs [1]. To push Koka forward at the kind of pace that Richard wants to move would require forking it or commandeering it, and it makes total sense that neither option is as appealing as just starting fresh.
[0] https://github.com/koka-lang/koka/graphs/contributors
[1] https://github.com/koka-lang/koka/graphs/contributors
-
If you want tiling, but i3 requires too much manual work, you might like the more managed layouts that are the default in XMonad: https://xmonad.org/
XMonad works fine with multiple monitors. Each monitor displays one of the many virtual desktops. The normal keys for desktops and for windows work pretty intuitively with multiple monitors.
-
-
m2cgen
Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby, F#, Rust) with zero dependencies
-
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The Haskell Language Server (LSP) always needs help: https://github.com/haskell/haskell-language-server/issues?q=...
As for GHC compile times... hard to say. The compiler does do a lot of things. Type checking and inference of a complex type system, lots of optimizations etc. I don't think it's just some bug/inefficient implementation, bc. resources have been poured into optimizations and still are. But there are certainly ways to improve speed.
-
Wire - Encrypted communication and collaboration platform.
-
-
-
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 discussion
Haskell related posts
-
Shellcheck
-
Ask HN: Are there any truly private chat apps?
-
SimpleX – the first messaging operating without user identifiers of any kind
-
Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf]
-
Ask HN: Who wants to be hired? (April 2025)
-
Ask HN: Is Washington Post correct in saying Signal is unsecure?
-
¿Cómo instalar Haskell?
-
A note from our sponsor - SaaSHub
www.saashub.com | 22 Apr 2025
Index
What are some of the best open-source Haskell projects? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | ShellCheck | 37,244 |
| 2 | pandoc | 36,937 |
| 3 | Hasura | 31,472 |
| 4 | postgrest | 25,150 |
| 5 | compiler-explorer | 17,285 |
| 6 | wasp | 16,280 |
| 7 | milewski-ctfp-pdf | 11,205 |
| 8 | hadolint | 10,857 |
| 9 | awesomo | 9,497 |
| 10 | purescript | 8,694 |
| 11 | simplex-chat | 8,338 |
| 12 | AlgoXY | 6,242 |
| 13 | unison | 5,977 |
| 14 | ihp | 5,049 |
| 15 | extism | 4,894 |
| 16 | koka | 3,479 |
| 17 | xmonad | 3,434 |
| 18 | hledger | 3,241 |
| 19 | m2cgen | 2,874 |
| 20 | haskell-language-server | 2,790 |
| 21 | wire-server | 2,669 |
| 22 | ihaskell | 2,627 |
| 23 | eta | 2,614 |
Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com