Haskell

Top 23 Haskell Open-Source Projects

  1. ShellCheck

    ShellCheck, a static analysis tool for shell scripts

    Project mention: Shellcheck | news.ycombinator.com | 2025-04-16
  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. pandoc

    Universal markup converter

    Project mention: Open source and self hostable/private file converter | news.ycombinator.com | 2025-04-12
  4. Hasura

    Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

    Project mention: Supabase Alternatives 🔄 in 2025 😼 | dev.to | 2025-03-17

    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.

  5. postgrest

    REST API for any Postgres database

    Project mention: Generate an OpenAPI From Your Database | dev.to | 2024-12-27

    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.

  6. compiler-explorer

    Run compilers interactively from your web browser and interact with the assembly

    Project mention: Dirty tricks 6502 programmers use | news.ycombinator.com | 2025-04-16
  7. wasp

    The fastest way to develop full-stack web apps with React & Node.js.

    Project mention: A Structured Workflow for "Vibe Coding" Full-Stack Apps | dev.to | 2025-04-16

    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.

  8. milewski-ctfp-pdf

    Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

    Project mention: Category Theory in Programming | news.ycombinator.com | 2024-12-01

    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.

  9. 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.

    CodeRabbit logo
  10. hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    Project mention: Dockerfile Best Practices: The Ultimate Guide to Optimizing Your Container Builds | dev.to | 2025-03-17

    [Source: Hadolint on GitHub]

  11. awesomo

    Cool open source projects. Choose your project and get involved in Open Source development now.

  12. purescript

    A strongly-typed language that compiles to JavaScript

    Project mention: An Ode to TypeScript Enums | news.ycombinator.com | 2025-03-02

    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.

  13. 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: Ask HN: Are there any truly private chat apps? | news.ycombinator.com | 2025-04-14
  14. AlgoXY

    Book of Elementary Functional Algorithms and Data structures

  15. unison

    A friendly programming language from the future

    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

  16. 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
  17. extism

    The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

    Project mention: Hyperlight WASM: Fast, secure, and OS-free | news.ycombinator.com | 2025-03-26

    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

  18. koka

    Koka language compiler and interpreter

    Project mention: Why I'm leaving Elm (2020) | news.ycombinator.com | 2025-02-16

    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

  19. xmonad

    The core of xmonad, a small but functional ICCCM-compliant tiling window manager

    Project mention: Rubywm: An X11 window manager in pure Ruby | news.ycombinator.com | 2025-01-30

    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.

  20. hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    Project mention: Haskell: A Great Procedural Language | news.ycombinator.com | 2025-01-19
  21. 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

  22. haskell-language-server

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

    Project mention: Why Haskell? | news.ycombinator.com | 2024-09-12

    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.

  23. wire-server

    🇪🇺 Wire back-end services

    Project mention: Useful Sites for Privacy and Security | dev.to | 2025-03-22

    Wire - Encrypted communication and collaboration platform.

  24. ihaskell

    A Haskell kernel for the Jupyter project.

  25. eta

    The Eta Programming Language, a dialect of Haskell on the JVM

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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

Log in or Post with

Haskell related posts

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

Did you know that Haskell is
the 25th most popular programming language
based on number of references?