Haskell repositories
The top 500 Haskell repositories, ranked by stars
Last updated
| Rank | Repository | Stars |
|---|---|---|
| 1 | Universal markup converter | 46,929 |
| 2 | ShellCheck, a static analysis tool for shell scripts | 40,334 |
| 3 | REST API for any Postgres database | 27,756 |
| 4 | SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱! | 19,692 |
| 5 | Dockerfile linter, validate inline bash, written in Haskell | 12,529 |
| 6 | Parsing, analyzing, and comparing source code across many languages | 9,042 |
| 7 | A strongly-typed language that compiles to JavaScript | 8,923 |
| 8 | Compiler for Elm, a functional language for reliable webapps. | 7,940 |
| 9 | A friendly programming language from the future | 6,788 |
| 10 | A statically typed lisp, without a GC, for real-time applications. | 6,103 |
| 11 | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness | 5,377 |
| 12 | An advanced keyboard manager | 5,103 |
| 13 | Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. | 4,817 |
| 14 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 4,369 |
| 15 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 4,326 |
| 16 | Functional Programming Course | 4,246 |
| 17 | The Haskell Tool Stack | 4,084 |
| 18 | A modern proof language | 3,764 |
| 19 | Cryptographic currency implementing Ouroboros PoS protocol | 3,746 |
| 20 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 3,613 |
| 21 | A Dependently Typed Functional Programming Language | 3,478 |
| 22 | A shell script which checks your $HOME for unwanted files and directories. | 3,412 |
| 23 | Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with... | 3,281 |
| 24 | Linux VR Desktop | 3,212 |
| 25 | Ethereum smart contract fuzzer | 3,197 |
| 26 | The core component that is used to participate in a Cardano decentralised blockchain. | 3,172 |
| 27 | Agda is a dependently typed programming language / interactive theorem prover. | 2,970 |
| 28 | Official Haskell IDE support via the language server protocol (LSP) | 2,968 |
| 29 | A static website compiler library in Haskell | 2,876 |
| 30 | Pattern language | 2,843 |
| 31 | A data-parallel functional programming language | 2,821 |
| 32 | 🇪🇺 Wire back-end services | 2,781 |
| 33 | Terminal-based presentations using Pandoc | 2,749 |
| 34 | A RESTful Haskell web framework built on WAI. | 2,731 |
| 35 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2,694 |
| 36 | What I Wish I Knew When Learning Haskell | 2,665 |
| 37 | The Eta Programming Language, a dialect of Haskell on the JVM | 2,639 |
| 38 | Haskell to JavaScript compiler, based on GHC | 2,617 |
| 39 | A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India. | 2,580 |
| 40 | A tasty Haskell web and mobile framework | 2,450 |
| 41 | The engine for haskell ide-integration. Not an IDE | 2,350 |
| 42 | A wiki using HAppS, pandoc, and git | 2,277 |
| 43 | C to Rust translator | 2,188 |
| 44 | Dapp, Seth, Hevm, and more | 2,123 |
| 45 | Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens | 2,109 |
| 46 | Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs. | 2,101 |
| 47 | Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! | 1,970 |
| 48 | DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc | 1,948 |
| 49 | A multilingual package manager for Arch Linux and the AUR. | 1,917 |
| 50 | lamdu - towards the next generation IDE | 1,895 |
