46 repositories
| # ↓ | Repository | Stars | Forks | Description | Last push |
|---|---|---|---|---|---|
| 1↓2 | jgm/pandoc | 46,422 | 5,067 | Universal markup converter | 2026-09-27 |
| 2↓4 | koalaman/shellcheck | 40,088 | 1,951 | ShellCheck, a static analysis tool for shell scripts | 2026-09-26 |
| 3↓6 | PostgREST/postgrest | 27,685 | 1,229 | REST API for any Postgres database | 2026-09-27 |
| 4↓9 | simplex-chat/simplex-chat | 19,495 | 1,362 | SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱! | 2026-09-27 |
| 5↓12 | hadolint/hadolint | 12,432 | 504 | Dockerfile linter, validate inline bash, written in Haskell | 2026-09-25 |
| 6↓21 | github/semantic | 9,045 | 466 | Parsing, analyzing, and comparing source code across many languages | 2025-04-01 |
| 7↓24 | purescript/purescript | 8,912 | 575 | A strongly-typed language that compiles to JavaScript | 2026-07-08 |
| 8↓24 | elm/compiler | 7,903 | 691 | Compiler for Elm, a functional language for reliable webapps. | 2026-09-24 |
| 9↓31 | unisonweb/unison | 6,740 | 308 | A friendly programming language from the future | 2026-09-27 |
| 10↓16 | carp-lang/Carp | 6,054 | 188 | A statically typed lisp, without a GC, for real-time applications. | 2026-09-11 |
| 11↓40 | digitallyinduced/ihp | 5,350 | 227 | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness | 2026-09-26 |
| 12↓28 | kmonad/kmonad | 5,063 | 338 | An advanced keyboard manager | 2026-06-15 |
| 13↑15 | hledgerorg/hledger | 4,732 | 416 | Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. | 2026-09-27 |
| 14↓29 | facebook/Haxl | 4,376 | 309 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2026-03-15 |
| 15↓29 | facebook/duckling | 4,324 | 739 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2026-03-15 |
| 16↓28 | system-f/fp-course | 4,244 | 1,191 | Functional Programming Course | 2025-10-07 |
| 17↓41 | commercialhaskell/stack | 4,078 | 852 | The Haskell Tool Stack | 2026-09-23 |
| 18↓61 | HigherOrderCO/Kind | 3,761 | 152 | A modern proof language | 2025-01-22 |
| 19↓56 | input-output-hk/cardano-sl | 3,744 | 612 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-07-30 |
| 20↓45 | xmonad/xmonad | 3,600 | 299 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2026-09-26 |
| 21↓64 | sdiehl/write-you-a-haskell | 3,479 | 258 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2021-01-11 |
| 22↓59 | idris-lang/Idris-dev | 3,477 | 630 | A Dependently Typed Functional Programming Language | 2025-02-17 |
| 23↓27 | b3nj5m1n/xdg-ninja | 3,378 | 189 | A shell script which checks your $HOME for unwanted files and directories. | 2026-05-10 |
| 24↓72 | ghc/ghc | 3,273 | 739 | 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 | 2026-09-27 |
| 25↓52 | SimulaVR/Simula | 3,209 | 111 | Linux VR Desktop | 2026-09-24 |
| 26↓52 | IntersectMBO/cardano-node | 3,180 | 756 | The core component that is used to participate in a Cardano decentralised blockchain. | 2026-09-27 |
| 27↓68 | crytic/echidna | 3,180 | 432 | Ethereum smart contract fuzzer | 2026-09-27 |
| 28↓45 | haskell/haskell-language-server | 2,959 | 458 | Official Haskell IDE support via the language server protocol (LSP) | 2026-09-23 |
| 29↓9 | agda/agda | 2,934 | 429 | Agda is a dependently typed programming language / interactive theorem prover. | 2026-09-27 |
| 30↓38 | jaspervdj/hakyll | 2,873 | 427 | A static website compiler library in Haskell | 2026-08-31 |
| 31↓66 | tidalcycles/Tidal | 2,846 | 272 | Pattern language | 2025-06-13 |
| 32↓26 | diku-dk/futhark | 2,805 | 210 | :boom::computer::boom: A data-parallel functional programming language | 2026-09-26 |
| 33↓86 | wireapp/wire-server | 2,779 | 332 | 🇪🇺 Wire back-end services | 2026-09-25 |
| 34↓74 | jaspervdj/patat | 2,742 | 66 | Terminal-based presentations using Pandoc | 2026-06-25 |
| 35↓45 | yesodweb/yesod | 2,726 | 386 | A RESTful Haskell web framework built on WAI. | 2026-09-18 |
| 36↓60 | caiorss/Functional-Programming | 2,692 | 156 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06 |
| 37↓63 | sdiehl/wiwinwlh | 2,668 | 242 | What I Wish I Knew When Learning Haskell | 2025-09-13 |
| 38↓60 | typelead/eta | 2,636 | 142 | The Eta Programming Language, a dialect of Haskell on the JVM | 2022-07-31 |
| 39↓57 | ghcjs/ghcjs | 2,617 | 185 | Haskell to JavaScript compiler, based on GHC | 2023-01-21 |
| 40↓62 | nammayatri/nammayatri | 2,571 | 400 | A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India. | 2026-09-26 |
| 41↓83 | dmjio/miso | 2,437 | 170 | :ramen: A tasty Haskell web and mobile framework | 2026-09-27 |
| 42↓82 | haskell/haskell-ide-engine | 2,352 | 205 | The engine for haskell ide-integration. Not an IDE | 2020-12-23 |
| 43↓47 | jgm/gitit | 2,277 | 231 | A wiki using HAppS, pandoc, and git | 2026-08-31 |
| 44↓92 | jameysharp/corrode | 2,186 | 117 | C to Rust translator | 2019-03-10 |
| 45↓69 | dapphub/dapptools | 2,124 | 320 | Dapp, Seth, Hevm, and more | 2025-02-25 |
| 46↓62 | ekmett/lens | 2,109 | 274 | Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens | 2026-09-19 |