Data refreshed 5 October 2026, 22:59 UTC
Top 100 Haskell repositories on GitHub, ranked by stars
Haskell's list mixes compilers, document converters and type-level experiments with genuinely practical tools such as shellcheck and PostgREST.
GitHub reports 164,382 repositories whose detected primary language is Haskell. The 100 most-starred of them are listed below, ranked by stargazers_count. jgm/pandoc leads with 46,583 stars, and the bar for 100th place is 1,074 stars. The median repository in this top 100 has 1,890 stars, and the most common licence is NOASSERTION (34 of 100 repositories).
- 100 repositories ranked
- 46,583 stars for #1
- 1,074 stars to enter the top 100
- 1,890 median stars in the top 100
- 164,382 repositories GitHub reports
- 546.8 KB JSONL file
The 100 most-starred Haskell repositories
| # | Repository | ★ Stars | Forks | Open issues | Licence | Last push | Description |
|---|---|---|---|---|---|---|---|
| 1 | jgm/pandoc | 46,583 | 5,696 | 1,041 | GPL-2.0 | Universal markup converter | |
| 2 | koalaman/shellcheck | 40,137 | 1,955 | 1,108 | GPL-3.0 | ShellCheck, a static analysis tool for shell scripts | |
| 3 | PostgREST/postgrest | 27,691 | 1,228 | 409 | MIT | REST API for any Postgres database | |
| 4 | simplex-chat/simplex-chat | 19,517 | 1,357 | 1,281 | AGPL-3.0 | SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop app… | |
| 5 | hadolint/hadolint | 12,458 | 505 | 206 | GPL-3.0 | Dockerfile linter, validate inline bash, written in Haskell | |
| 6 | github/semantic | 9,045 | 466 | 0 | — | Parsing, analyzing, and comparing source code across many languages | |
| 7 | purescript/purescript | 8,914 | 574 | 307 | NOASSERTION | A strongly-typed language that compiles to JavaScript | |
| 8 | elm/compiler | 7,909 | 691 | 305 | BSD-3-Clause | Compiler for Elm, a functional language for reliable webapps. | |
| 9 | unisonweb/unison | 6,742 | 310 | 1,293 | NOASSERTION | A friendly programming language from the future | |
| 10 | carp-lang/Carp | 6,060 | 188 | 141 | Apache-2.0 | A statically typed lisp, without a GC, for real-time applications. | |
| 11 | digitallyinduced/ihp | 5,354 | 227 | 289 | MIT | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and progra… | |
| 12 | kmonad/kmonad | 5,066 | 338 | 209 | MIT | An advanced keyboard manager | |
| 13 | hledgerorg/hledger | 4,744 | 415 | 314 | GPL-3.0 | Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. | |
| 14 | facebook/Haxl | 4,369 | 309 | 8 | BSD-3-Clause | A Haskell library that simplifies access to remote data, such as databases or web-based services. | |
| 15 | facebook/duckling | 4,324 | 739 | 140 | NOASSERTION | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | |
| 16 | system-f/fp-course | 4,245 | 1,192 | 16 | — | Functional Programming Course | |
| 17 | commercialhaskell/stack | 4,078 | 852 | 609 | NOASSERTION | The Haskell Tool Stack | |
| 18 | HigherOrderCO/Kind | 3,758 | 152 | 7 | MIT | A modern proof language | |
| 19 | input-output-hk/cardano-sl | 3,743 | 610 | 188 | Apache-2.0 | Cryptographic currency implementing Ouroboros PoS protocol | |
| 20 | xmonad/xmonad | 3,603 | 300 | 63 | BSD-3-Clause | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | |
| 21 | sdiehl/write-you-a-haskell | 3,477 | 258 | 31 | MIT | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | |
| 22 | idris-lang/Idris-dev | 3,477 | 631 | 708 | NOASSERTION | A Dependently Typed Functional Programming Language | |
| 23 | b3nj5m1n/xdg-ninja | 3,386 | 190 | 60 | MIT | A shell script which checks your $HOME for unwanted files and directories. | |
| 24 | ghc/ghc | 3,273 | 738 | 9 | NOASSERTION | Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). Fir… | |
| 25 | SimulaVR/Simula | 3,209 | 112 | 73 | MIT | Linux VR Desktop | |
| 26 | crytic/echidna | 3,185 | 435 | 108 | AGPL-3.0 | Ethereum smart contract fuzzer | |
| 27 | IntersectMBO/cardano-node | 3,176 | 759 | 88 | Apache-2.0 | The core component that is used to participate in a Cardano decentralised blockchain. | |
| 28 | haskell/haskell-language-server | 2,959 | 458 | 566 | Apache-2.0 | Official Haskell IDE support via the language server protocol (LSP) | |
| 29 | agda/agda | 2,931 | 429 | 1,050 | NOASSERTION | Agda is a dependently typed programming language / interactive theorem prover. | |
| 30 | jaspervdj/hakyll | 2,870 | 426 | 123 | NOASSERTION | A static website compiler library in Haskell | |
| 31 | tidalcycles/Tidal | 2,846 | 272 | 113 | GPL-3.0 | Pattern language | |
| 32 | diku-dk/futhark | 2,807 | 211 | 81 | ISC | :boom::computer::boom: A data-parallel functional programming language | |
| 33 | wireapp/wire-server | 2,781 | 332 | 173 | AGPL-3.0 | 🇪🇺 Wire back-end services | |
| 34 | jaspervdj/patat | 2,743 | 66 | 23 | GPL-2.0 | Terminal-based presentations using Pandoc | |
| 35 | yesodweb/yesod | 2,726 | 386 | 136 | MIT | A RESTful Haskell web framework built on WAI. | |
| 36 | caiorss/Functional-Programming | 2,693 | 156 | 9 | Unlicense | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | |
| 37 | sdiehl/wiwinwlh | 2,669 | 241 | 6 | NOASSERTION | What I Wish I Knew When Learning Haskell | |
| 38 | typelead/eta | 2,637 | 142 | 242 | BSD-3-Clause | The Eta Programming Language, a dialect of Haskell on the JVM | |
| 39 | ghcjs/ghcjs | 2,617 | 185 | 292 | MIT | Haskell to JavaScript compiler, based on GHC | |
| 40 | nammayatri/nammayatri | 2,572 | 401 | 1,408 | AGPL-3.0 | A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India. | |
| 41 | dmjio/miso | 2,441 | 170 | 26 | BSD-3-Clause | :ramen: A tasty Haskell web and mobile framework | |
| 42 | haskell/haskell-ide-engine | 2,348 | 204 | 301 | BSD-3-Clause | The engine for haskell ide-integration. Not an IDE | |
| 43 | jgm/gitit | 2,277 | 230 | 206 | GPL-2.0 | A wiki using HAppS, pandoc, and git | |
| 44 | jameysharp/corrode | 2,188 | 117 | 80 | GPL-2.0 | C to Rust translator | |
| 45 | dapphub/dapptools | 2,123 | 320 | 171 | — | Dapp, Seth, Hevm, and more | |
| 46 | ekmett/lens | 2,109 | 274 | 89 | NOASSERTION | Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens | |
| 47 | haskell-servant/servant | 1,965 | 427 | 299 | — | Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! | |
| 48 | tweag/asterius | 1,947 | 56 | 137 | — | DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc | |
| 49 | fosskers/aura | 1,918 | 122 | 64 | GPL-3.0 | A multilingual package manager for Arch Linux and the AUR. | |
| 50 | lamdu/lamdu | 1,894 | 78 | 25 | GPL-3.0 | lamdu - towards the next generation IDE | |
| 51 | monoscope-tech/monoscope | 1,886 | 80 | 39 | AGPL-3.0 | Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via… | |
| 52 | BurntSushi/erd | 1,864 | 153 | 19 | Unlicense | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | |
| 53 | nmattia/niv | 1,863 | 75 | 87 | MIT | Easy dependency management for Nix projects | |
| 54 | smallhadroncollider/taskell | 1,783 | 76 | 54 | BSD-3-Clause | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | |
| 55 | olivierverdier/zsh-git-prompt | 1,778 | 393 | 58 | MIT | Informative git prompt for zsh | |
| 56 | scotty-web/scotty | 1,774 | 134 | 29 | BSD-3-Clause | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | |
| 57 | haskell/cabal | 1,744 | 755 | 1,977 | NOASSERTION | Official upstream development repository for Cabal and cabal-install | |
| 58 | jtdaugherty/brick | 1,739 | 174 | 4 | BSD-3-Clause | A declarative Unix terminal UI library written in Haskell | |
| 59 | google-research/dex-lang | 1,702 | 117 | 139 | BSD-3-Clause | Research language for array processing in the Haskell/ML family | |
| 60 | maralorn/nix-output-monitor | 1,672 | 58 | 118 | — | Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building. | |
| 61 | mikeizbicki/HLearn | 1,647 | 134 | 23 | NOASSERTION | Homomorphic machine learning | |
| 62 | IntersectMBO/plutus | 1,632 | 509 | 248 | Apache-2.0 | The Plutus language implementation and tools | |
| 63 | NixOS/nixfmt | 1,625 | 76 | 21 | MPL-2.0 | The official formatter for Nix code | |
| 64 | clash-lang/clash-compiler | 1,620 | 170 | 403 | NOASSERTION | Haskell to VHDL/Verilog/SystemVerilog compiler | |
| 65 | ndmitchell/hlint | 1,612 | 212 | 314 | NOASSERTION | Haskell source code suggestions | |
| 66 | tensorflow/haskell | 1,602 | 195 | 39 | Apache-2.0 | Haskell bindings for TensorFlow | |
| 67 | huangzworks/real-world-haskell-cn | 1,573 | 227 | 27 | — | 《Real World Haskell》中文翻译项目 | |
| 68 | haskell-beginners-2022/course-plan | 1,562 | 64 | 0 | MPL-2.0 | 📜 Haskell course info, plan, video lectures, slides | |
| 69 | srid/neuron | 1,558 | 145 | 23 | AGPL-3.0 | Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote) | |
| 70 | yi-editor/yi | 1,548 | 196 | 222 | GPL-2.0 | The Haskell-Scriptable Editor | |
| 71 | erebe/greenclip | 1,534 | 39 | 9 | BSD-3-Clause | Simple clipboard manager to be integrated with rofi - Static binary available | |
| 72 | fossas/fossa-cli | 1,521 | 207 | 18 | NOASSERTION | Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language… | |
| 73 | valderman/haste-compiler | 1,473 | 106 | 63 | BSD-3-Clause | A GHC-based Haskell to JavaScript compiler | |
| 74 | HuwCampbell/grenade | 1,448 | 81 | 24 | BSD-2-Clause | Deep Learning in Haskell | |
| 75 | lettier/gifcurry | 1,448 | 59 | 41 | BSD-3-Clause | 😎 The open-source, Haskell-built video editor for GIF makers. | |
| 76 | google/haskell-trainings | 1,407 | 109 | 4 | Apache-2.0 | Haskell 101 and 102: slides and codelabs | |
| 77 | input-output-hk/plutus-pioneer-program | 1,366 | 997 | 5 | — | This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides t… | |
| 78 | ucsd-progsys/liquidhaskell | 1,335 | 165 | 461 | BSD-3-Clause | Liquid Types For Haskell | |
| 79 | avh4/elm-format | 1,334 | 148 | 237 | BSD-3-Clause | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | |
| 80 | haskell/aeson | 1,307 | 338 | 82 | NOASSERTION | A fast Haskell JSON library | |
| 81 | quchen/articles | 1,306 | 89 | 0 | — | Miscellaneous articles. The readme is the table of contents. | |
| 82 | faylang/fay | 1,285 | 86 | 24 | BSD-3-Clause | A proper subset of Haskell that compiles to JavaScript | |
| 83 | google/codeworld | 1,269 | 201 | 312 | Apache-2.0 | Educational computer programming environment using Haskell | |
| 84 | fullstack-development/developers-roadmap | 1,222 | 259 | 57 | — | How to learn front-end or back-end development | |
| 85 | GaloisInc/cryptol | 1,222 | 130 | 259 | BSD-3-Clause | Cryptol: The Language of Cryptography | |
| 86 | hasktorch/hasktorch | 1,215 | 127 | 89 | NOASSERTION | Tensors and neural networks in Haskell | |
| 87 | ndmitchell/ghcid | 1,200 | 117 | 119 | NOASSERTION | Very low feature GHCi based IDE | |
| 88 | reanimate/reanimate | 1,183 | 67 | 31 | Unlicense | Haskell library for building declarative animations based on SVG graphics | |
| 89 | evincarofautumn/kitten | 1,171 | 41 | 69 | NOASSERTION | A statically typed concatenative systems programming language. | |
| 90 | matterhorn-chat/matterhorn | 1,161 | 82 | 22 | BSD-3-Clause | A feature-rich Unix terminal client for the Mattermost chat system | |
| 91 | B-Lang-org/bsc | 1,144 | 181 | 359 | NOASSERTION | Bluespec Compiler (BSC) | |
| 92 | hzlmn/haskell-must-watch | 1,142 | 55 | 0 | MIT | Huge list of videos, talks, courses for Haskell programming language. | |
| 93 | cachix/cachix | 1,125 | 57 | 124 | — | Command line client for Nix binary cache hosting: | |
| 94 | reflex-frp/reflex | 1,117 | 150 | 86 | BSD-3-Clause | Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying value… | |
| 95 | graninas/software-design-in-haskell | 1,112 | 69 | 4 | — | Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. | |
| 96 | utdemir/nix-tree | 1,081 | 22 | 20 | BSD-3-Clause | Interactively browse dependency graphs of Nix derivations. | |
| 97 | grin-compiler/grin | 1,080 | 41 | 30 | — | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | |
| 98 | uber/queryparser | 1,078 | 146 | 23 | MIT | Parsing and analysis of Vertica, Hive, and Presto SQL. | |
| 99 | polysemy-research/polysemy | 1,075 | 77 | 47 | BSD-3-Clause | :gemini: higher-order, no-boilerplate monads | |
| 100 | tweag/ormolu | 1,074 | 91 | 54 | NOASSERTION | A formatter for Haskell source code |
Fork counts include open pull requests in
open_issues_count, because that is how GitHub's API reports it.
Descriptions are truncated to 140 characters; the full text is in the JSONL
download.
Download the Haskell data
- JSONL — raw GitHub Search API objects (546.8 KB, 100 lines)
- Markdown table of the same ranking
- All 30 JSONL files
curl -sSL -o haskell.jsonl \
https://raw.githubusercontent.com/havaianasdestruido/top100/main/data/JSONL/haskell.jsonl
jq -r '.full_name + " " + (.stargazers_count|tostring)' haskell.jsonl | head -10How this list is built
A single GitHub Search API request per language —
?q=language:haskell&sort=stars&order=desc&per_page=100
— refreshed hourly by a scheduled GitHub Actions workflow and committed back to
the repository. The records are never reshaped: every field GitHub returned is
preserved. The methodology page covers the query,
the rate limits, the fields the Search API omits and the known limitations, and the
field reference documents every JSON key.
Frequently asked questions
What is the most-starred Haskell repository on GitHub?
jgm/pandoc is the most-starred Haskell repository with 46,583 stars as of 5 October 2026, ahead of koalaman/shellcheck (40,137) and PostgREST/postgrest (27,691).
How many Haskell repositories are on GitHub?
GitHub reports 164,382 public repositories whose detected primary language is Haskell. Top100 ranks the 100 most-starred of them; 100th place currently needs 1,074 stars.
How do I download the top 100 Haskell repositories as JSON?
Download data/JSONL/haskell.jsonl — 100 lines, each the complete GitHub Search API object for one repository, including topics, licence, every count and every timestamp. A readable Markdown table of the same ranking is also published.