Files
Github-Ranking/Top100/Haskell.md
T
2025-11-02 12:07:10 +08:00

18 KiB

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 pandoc 39966 3671 Haskell 967 Universal markup converter 2025-10-30T19:04:39Z
2 shellcheck 38353 1882 Haskell 1154 ShellCheck, a static analysis tool for shell scripts 2025-10-27T08:26:24Z
3 postgrest 25941 1127 Haskell 303 REST API for any Postgres database 2025-11-01T09:32:48Z
4 hadolint 11623 473 Haskell 224 Dockerfile linter, validate inline bash, written in Haskell 2025-10-27T08:20:53Z
5 simplex-chat 9820 511 Haskell 903 SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱! 2025-11-01T22:04:47Z
6 semantic 9059 459 Haskell 0 Parsing, analyzing, and comparing source code across many languages 2025-04-01T16:36:44Z
7 purescript 8783 568 Haskell 275 A strongly-typed language that compiles to JavaScript 2025-10-18T15:17:25Z
8 compiler 7697 669 Haskell 308 Compiler for Elm, a functional language for reliable webapps. 2025-09-10T12:05:16Z
9 unison 6231 286 Haskell 1166 A friendly programming language from the future 2025-11-01T05:18:41Z
10 Carp 5734 178 Haskell 134 A statically typed lisp, without a GC, for real-time applications. 2025-09-16T13:07:37Z
11 ihp 5158 211 Haskell 252 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness 2025-11-01T01:02:34Z
12 kmonad 4776 328 Haskell 196 An advanced keyboard manager 2025-10-23T22:52:14Z
13 Haxl 4356 313 Haskell 5 A Haskell library that simplifies access to remote data, such as databases or web-based services. 2025-10-21T16:17:52Z
14 fp-course 4214 1192 Haskell 15 Functional Programming Course 2025-10-07T10:56:27Z
15 duckling 4213 739 Haskell 124 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2025-02-22T01:17:27Z
16 stack 4039 848 Haskell 592 The Haskell Tool Stack 2025-10-31T00:39:47Z
17 cardano-sl 3783 630 Haskell 184 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
18 Kind 3703 147 Haskell 3 A modern proof language 2025-01-22T16:54:12Z
19 hledger 3570 341 Haskell 324 Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. 2025-11-01T20:37:47Z
20 xmonad 3493 293 Haskell 48 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2025-11-01T16:44:29Z
21 Idris-dev 3469 634 Haskell 690 A Dependently Typed Functional Programming Language 2025-02-17T14:08:47Z
22 write-you-a-haskell 3436 259 Haskell 22 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
23 awesome-haskell 3215 176 Haskell 10 A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. 2023-04-13T20:54:30Z
24 ghc 3187 732 Haskell 0 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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing). 2025-11-01T11:24:38Z
25 cardano-node 3169 739 Haskell 210 The core component that is used to participate in a Cardano decentralised blockchain. 2025-11-02T00:06:38Z
26 Simula 3110 104 Haskell 64 Linux VR Desktop 2025-09-17T18:19:26Z
27 echidna 3025 413 Haskell 80 Ethereum smart contract fuzzer 2025-10-29T10:18:18Z
28 xdg-ninja 2964 173 Haskell 43 A shell script which checks your $HOME for unwanted files and directories. 2025-11-01T22:00:31Z
29 haskell-language-server 2853 409 Haskell 496 Official Haskell IDE support via the language server protocol (LSP) 2025-11-01T13:45:44Z
30 hakyll 2819 417 Haskell 101 A static website compiler library in Haskell 2025-11-01T09:51:14Z
31 Tidal 2787 272 Haskell 107 Pattern language 2025-06-13T19:22:15Z
32 agda 2737 388 Haskell 1004 Agda is a dependently typed programming language / interactive theorem prover. 2025-10-28T18:41:14Z
33 wire-server 2719 334 Haskell 50 🇪🇺 Wire back-end services 2025-11-01T11:37:08Z
34 yesod 2697 376 Haskell 107 A RESTful Haskell web framework built on WAI. 2025-10-23T21:54:49Z
35 Functional-Programming 2696 158 Haskell 5 Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python 2019-08-06T22:00:55Z
36 patat 2643 66 Haskell 15 Terminal-based presentations using Pandoc 2025-09-25T12:25:19Z
37 wiwinwlh 2637 242 Haskell 0 What I Wish I Knew When Learning Haskell 2025-09-13T07:49:50Z
38 eta 2630 142 Haskell 238 The Eta Programming Language, a dialect of Haskell on the JVM 2022-07-31T17:14:19Z
39 ghcjs 2622 186 Haskell 279 Haskell to JavaScript compiler, based on GHC 2023-01-21T23:46:36Z
40 futhark 2603 189 Haskell 66 :boom::computer:💥 A data-parallel functional programming language 2025-11-01T16:31:51Z
41 haskell-ide-engine 2370 205 Haskell 294 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
42 miso 2330 153 Haskell 9 🍜 A tasty Haskell web framework 2025-11-01T21:13:40Z
43 gitit 2245 228 Haskell 192 A wiki using HAppS, pandoc, and git 2025-09-03T07:10:11Z
44 corrode 2175 116 Haskell 65 C to Rust translator 2019-03-10T01:48:47Z
45 dapptools 2132 323 Haskell 145 Dapp, Seth, Hevm, and more 2025-02-25T19:28:22Z
46 lens 2070 273 Haskell 99 Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens 2025-10-19T19:38:02Z
47 asterius 1958 56 Haskell 106 DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc 2022-11-14T00:45:01Z
48 servant 1916 419 Haskell 258 Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! 2025-10-29T15:56:06Z
49 lamdu 1877 73 Haskell 22 lamdu - towards the next generation IDE 2025-10-26T07:48:26Z
50 aura 1858 117 Haskell 61 A multilingual package manager for Arch Linux and the AUR. 2025-09-06T08:38:37Z
51 erd 1844 152 Haskell 16 Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. 2024-09-09T12:30:17Z
52 niv 1771 78 Haskell 79 Easy dependency management for Nix projects 2025-03-02T23:46:25Z
53 taskell 1758 77 Haskell 0 Command-line Kanban board/task manager with support for Trello boards and GitHub projects 2023-10-03T06:57:40Z
54 scotty 1756 133 Haskell 30 Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) 2025-09-12T12:23:24Z
55 zsh-git-prompt 1753 399 Haskell 35 Informative git prompt for zsh 2023-11-08T03:54:12Z
56 cabal 1697 723 Haskell 1772 Official upstream development repository for Cabal and cabal-install 2025-10-30T03:55:56Z
57 brick 1678 170 Haskell 5 A declarative Unix terminal UI library written in Haskell 2025-10-17T18:33:16Z
58 HLearn 1646 134 Haskell 22 Homomorphic machine learning 2016-05-29T16:51:53Z
59 dex-lang 1645 114 Haskell 106 Research language for array processing in the Haskell/ML family 2025-01-25T03:31:39Z
60 plutus 1621 482 Haskell 163 The Plutus language implementation and tools 2025-10-31T05:18:47Z
61 haskell 1600 198 Haskell 37 Haskell bindings for TensorFlow 2024-08-15T15:09:36Z
62 real-world-haskell-cn 1576 229 Haskell 16 《Real World Haskell》中文翻译项目 2022-02-14T13:35:16Z
63 hlint 1551 203 Haskell 264 Haskell source code suggestions 2025-10-30T00:10:28Z
64 clash-compiler 1551 164 Haskell 370 Haskell to VHDL/Verilog/SystemVerilog compiler 2025-10-31T13:29:01Z
65 neuron 1537 149 Haskell 23 Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote) 2023-05-22T16:29:04Z
66 yi 1531 199 Haskell 205 The Haskell-Scriptable Editor 2024-11-01T13:05:53Z
67 course-plan 1484 62 Haskell 0 📜 Haskell course info, plan, video lectures, slides 2023-07-09T14:01:05Z
68 greenclip 1471 35 Haskell 0 Simple clipboard manager to be integrated with rofi - Static binary available 2025-03-22T21:05:18Z
69 haste-compiler 1470 107 Haskell 63 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z
70 grenade 1454 82 Haskell 18 Deep Learning in Haskell 2023-12-08T21:23:07Z
71 fossa-cli 1435 184 Haskell 60 Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems. 2025-10-31T19:24:52Z
72 gifcurry 1415 58 Haskell 39 😎 The open-source, Haskell-built video editor for GIF makers. 2021-08-13T16:19:41Z
73 haskell-trainings 1405 109 Haskell 4 Haskell 101 and 102: slides and codelabs 2023-04-10T00:27:48Z
74 plutus-pioneer-program 1385 1019 Haskell 3 This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem. 2025-07-27T11:49:46Z
75 nixfmt 1337 62 Haskell 24 The official formatter for Nix code 2025-10-28T20:53:50Z
76 elm-format 1328 148 Haskell 215 elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide 2025-06-19T02:56:33Z
77 aeson 1288 330 Haskell 66 A fast Haskell JSON library 2025-10-14T10:44:55Z
78 fay 1285 89 Haskell 22 A proper subset of Haskell that compiles to JavaScript 2021-06-09T15:10:00Z
79 Publications 1278 38 Haskell 4 Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com 2025-01-10T12:21:23Z
80 articles 1276 92 Haskell 0 Miscellaneous articles. The readme is the table of contents. 2023-07-12T09:28:11Z
81 nix-output-monitor 1273 38 Haskell 84 Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building. 2025-10-31T06:02:15Z
82 liquidhaskell 1264 149 Haskell 447 Liquid Types For Haskell 2025-11-01T20:10:10Z
83 codeworld 1261 198 Haskell 461 Educational computer programming environment using Haskell 2025-04-07T18:30:03Z
84 developers-roadmap 1215 264 Haskell 51 How to learn front-end or back-end development 2025-08-26T02:02:21Z
85 cryptol 1180 128 Haskell 250 Cryptol: The Language of Cryptography 2025-11-01T06:39:13Z
86 ghcid 1165 113 Haskell 112 Very low feature GHCi based IDE 2024-03-01T13:09:46Z
87 reanimate 1164 64 Haskell 25 Haskell library for building declarative animations based on SVG graphics 2025-02-06T18:32:33Z
88 hasktorch 1158 118 Haskell 75 Tensors and neural networks in Haskell 2025-10-22T00:22:00Z
89 haskell-must-watch 1140 56 Haskell 0 Huge list of videos, talks, courses for Haskell programming language. 2017-10-17T13:24:26Z
90 kitten 1139 42 Haskell 65 A statically typed concatenative systems programming language. 2023-04-10T00:10:33Z
91 matterhorn 1100 78 Haskell 19 A feature-rich Unix terminal client for the Mattermost chat system 2025-10-29T23:17:53Z
92 software-design-in-haskell 1099 70 Haskell 4 Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. 2024-12-18T11:27:13Z
93 reflex 1097 149 Haskell 73 Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse. 2025-10-20T13:42:12Z
94 queryparser 1077 144 Haskell 22 Parsing and analysis of Vertica, Hive, and Presto SQL. 2022-02-16T11:16:33Z
95 polysemy 1066 73 Haskell 44 ♊ higher-order, no-boilerplate monads 2025-03-15T12:15:30Z
96 HaLVM 1064 80 Haskell 37 The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen 2018-12-06T17:24:40Z
97 bsc 1055 164 Haskell 204 Bluespec Compiler (BSC) 2025-11-02T00:10:34Z
98 grin 1053 41 Haskell 26 GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. 2025-06-13T11:21:35Z
99 linux_notification_center 1045 40 Haskell 39 A notification daemon/center for linux 2025-02-06T11:12:49Z
100 kaleidoscope 1044 127 Haskell 8 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z