Files
Github-Ranking/Top100/Haskell.md
T
2025-05-14 12:06:52 +08:00

18 KiB

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 shellcheck 37368 1815 Haskell 1101 ShellCheck, a static analysis tool for shell scripts 2025-04-27T23:47:14Z
2 pandoc 37355 3511 Haskell 1039 Universal markup converter 2025-05-14T01:03:33Z
3 postgrest 25261 1085 Haskell 277 REST API for any Postgres database 2025-05-13T20:32:07Z
4 hadolint 10922 442 Haskell 216 Dockerfile linter, validate inline bash, written in Haskell 2025-03-24T08:35:52Z
5 semantic 9032 456 Haskell 0 Parsing, analyzing, and comparing source code across many languages 2025-04-01T16:36:44Z
6 purescript 8714 568 Haskell 279 A strongly-typed language that compiles to JavaScript 2025-05-08T09:58:36Z
7 compiler 7637 659 Haskell 316 Compiler for Elm, a functional language for reliable webapps. 2024-07-17T21:53:51Z
8 unison 6013 275 Haskell 1115 A friendly programming language from the future 2025-05-14T00:27:22Z
9 Carp 5657 172 Haskell 133 A statically typed lisp, without a GC, for real-time applications. 2024-11-26T10:58:51Z
10 ihp 5055 205 Haskell 248 🔥 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-05-10T18:42:16Z
11 kmonad 4463 332 Haskell 194 An advanced keyboard manager 2025-05-08T22:11:04Z
12 Haxl 4301 311 Haskell 4 A Haskell library that simplifies access to remote data, such as databases or web-based services. 2025-05-07T17:24:21Z
13 fp-course 4186 1195 Haskell 15 Functional Programming Course 2024-12-02T00:31:53Z
14 duckling 4148 732 Haskell 122 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2025-02-22T01:17:27Z
15 stack 4017 848 Haskell 584 The Haskell Tool Stack 2025-05-14T00:04:56Z
16 cardano-sl 3775 632 Haskell 184 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
17 Kind 3670 146 Haskell 3 A modern proof language 2025-01-22T16:54:12Z
18 koka 3495 178 Haskell 163 Koka language compiler and interpreter 2025-05-13T19:34:01Z
19 Idris-dev 3457 638 Haskell 691 A Dependently Typed Functional Programming Language 2025-02-17T14:08:47Z
20 xmonad 3443 294 Haskell 47 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2025-05-12T16:44:07Z
21 write-you-a-haskell 3380 256 Haskell 22 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
22 hledger 3265 326 Haskell 347 Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. 2025-05-13T20:49:52Z
23 awesome-haskell 3149 175 Haskell 10 A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. 2023-04-13T20:54:30Z
24 cardano-node 3125 733 Haskell 280 The core component that is used to participate in a Cardano decentralised blockchain. 2025-05-13T16:53:58Z
25 ghc 3121 717 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-05-14T01:54:45Z
26 Simula 3060 101 Haskell 64 Linux VR Desktop 2024-12-14T22:46:21Z
27 echidna 2888 397 Haskell 122 Ethereum smart contract fuzzer 2025-05-09T10:09:41Z
28 xdg-ninja 2831 155 Haskell 36 A shell script which checks your $HOME for unwanted files and directories. 2025-05-11T14:55:03Z
29 haskell-language-server 2798 388 Haskell 469 Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. 2025-05-13T11:04:53Z
30 hakyll 2754 412 Haskell 100 A static website compiler library in Haskell 2025-04-07T14:24:10Z
31 Functional-Programming 2693 158 Haskell 5 Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python 2019-08-06T22:00:55Z
32 wire-server 2675 329 Haskell 47 🇪🇺 Wire back-end services 2025-05-13T15:52:29Z
33 yesod 2671 374 Haskell 105 A RESTful Haskell web framework built on WAI. 2025-03-21T18:16:29Z
34 agda 2630 370 Haskell 974 Agda is a dependently typed programming language / interactive theorem prover. 2025-05-13T17:02:55Z
35 eta 2621 141 Haskell 238 The Eta Programming Language, a dialect of Haskell on the JVM 2022-07-31T17:14:19Z
36 ghcjs 2616 185 Haskell 278 Haskell to JavaScript compiler, based on GHC 2023-01-21T23:46:36Z
37 wiwinwlh 2580 243 Haskell 0 What I Wish I Knew When Learning Haskell 2022-02-25T06:38:14Z
38 patat 2562 63 Haskell 15 Terminal-based presentations using Pandoc 2025-04-28T08:19:47Z
39 futhark 2520 178 Haskell 66 :boom::computer:💥 A data-parallel functional programming language 2025-05-13T16:51:59Z
40 Tidal 2495 265 Haskell 103 Pattern language 2025-05-11T13:33:40Z
41 haskell-ide-engine 2373 206 Haskell 294 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
42 miso 2263 144 Haskell 7 🍜 A tasty Haskell front-end framework 2025-05-13T23:17:46Z
43 gitit 2201 225 Haskell 191 A wiki using HAppS, pandoc, and git 2025-04-03T16:26:46Z
44 corrode 2169 114 Haskell 65 C to Rust translator 2019-03-10T01:48:47Z
45 dapptools 2122 322 Haskell 145 Dapp, Seth, Hevm, and more 2025-02-25T19:28:22Z
46 lens 2057 276 Haskell 97 Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens 2025-03-04T12:07:05Z
47 asterius 1966 58 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 1880 415 Haskell 264 Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! 2025-04-28T11:02:04Z
49 lamdu 1870 74 Haskell 23 lamdu - towards the next generation IDE 2025-05-09T16:15:11Z
50 erd 1831 153 Haskell 16 Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. 2024-09-09T12:30:17Z
51 aura 1813 114 Haskell 54 A multilingual package manager for Arch Linux and the AUR. 2025-01-04T07:45:01Z
52 taskell 1746 73 Haskell 0 Command-line Kanban board/task manager with support for Trello boards and GitHub projects 2023-10-03T06:57:40Z
53 scotty 1746 136 Haskell 29 Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) 2025-02-23T11:31:38Z
54 zsh-git-prompt 1736 397 Haskell 34 Informative git prompt for zsh 2023-11-08T03:54:12Z
55 niv 1711 78 Haskell 80 Easy dependency management for Nix projects 2025-03-02T23:46:25Z
56 cabal 1670 710 Haskell 1732 Official upstream development repository for Cabal and cabal-install 2025-05-13T23:09:53Z
57 brick 1637 167 Haskell 4 A declarative Unix terminal UI library written in Haskell 2025-04-23T15:43:21Z
58 HLearn 1625 134 Haskell 22 Homomorphic machine learning 2016-05-29T16:51:53Z
59 dex-lang 1614 110 Haskell 106 Research language for array processing in the Haskell/ML family 2025-01-25T03:31:39Z
60 haskell 1594 200 Haskell 37 Haskell bindings for TensorFlow 2024-08-15T15:09:36Z
61 plutus 1593 486 Haskell 183 The Plutus language implementation and tools 2025-05-14T00:34:57Z
62 real-world-haskell-cn 1568 231 Haskell 16 《Real World Haskell》中文翻译项目 2022-02-14T13:35:16Z
63 neuron 1529 148 Haskell 23 Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote) 2023-05-22T16:29:04Z
64 yi 1526 201 Haskell 205 The Haskell-Scriptable Editor 2024-11-01T13:05:53Z
65 hlint 1520 200 Haskell 258 Haskell source code suggestions 2025-04-13T23:20:13Z
66 clash-compiler 1497 159 Haskell 345 Haskell to VHDL/Verilog/SystemVerilog compiler 2025-05-10T10:31:11Z
67 grenade 1449 83 Haskell 18 Deep Learning in Haskell 2023-12-08T21:23:07Z
68 haste-compiler 1442 111 Haskell 63 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z
69 greenclip 1411 35 Haskell 0 Simple clipboard manager to be integrated with rofi - Static binary available 2025-03-22T21:05:18Z
70 course-plan 1405 59 Haskell 0 📜 Haskell course info, plan, video lectures, slides 2023-07-09T14:01:05Z
71 haskell-trainings 1405 109 Haskell 4 Haskell 101 and 102: slides and codelabs 2023-04-10T00:27:48Z
72 gifcurry 1395 56 Haskell 39 😎 The open-source, Haskell-built video editor for GIF makers. 2021-08-13T16:19:41Z
73 plutus-pioneer-program 1386 1000 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-02-22T17:07:57Z
74 fossa-cli 1378 181 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-05-13T23:01:08Z
75 elm-format 1320 147 Haskell 216 elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide 2023-04-13T18:43:21Z
76 fay 1284 89 Haskell 22 A proper subset of Haskell that compiles to JavaScript 2021-06-09T15:10:00Z
77 Publications 1277 38 Haskell 4 Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com 2025-01-10T12:21:23Z
78 aeson 1273 322 Haskell 65 A fast Haskell JSON library 2025-03-30T16:19:10Z
79 articles 1263 92 Haskell 0 Miscellaneous articles. The readme is the table of contents. 2023-07-12T09:28:11Z
80 codeworld 1256 199 Haskell 446 Educational computer programming environment using Haskell 2025-04-07T18:30:03Z
81 liquidhaskell 1239 147 Haskell 432 Liquid Types For Haskell 2025-05-06T19:31:54Z
82 developers-roadmap 1214 264 Haskell 53 How to learn front-end or back-end development 2025-05-12T12:26:11Z
83 cryptol 1157 126 Haskell 236 Cryptol: The Language of Cryptography 2025-05-13T21:19:06Z
84 ghcid 1156 113 Haskell 112 Very low feature GHCi based IDE 2024-03-01T13:09:46Z
85 reanimate 1154 62 Haskell 25 Haskell library for building declarative animations based on SVG graphics 2025-02-06T18:32:33Z
86 haskell-must-watch 1136 57 Haskell 0 Huge list of videos, talks, courses for Haskell programming language. 2017-10-17T13:24:26Z
87 nixfmt 1134 55 Haskell 27 The official (but not yet stable) formatter for Nix code 2025-05-13T19:47:21Z
88 kitten 1120 41 Haskell 65 A statically typed concatenative systems programming language. 2023-04-10T00:10:33Z
89 hasktorch 1115 114 Haskell 71 Tensors and neural networks in Haskell 2025-04-19T04:36:47Z
90 nix-output-monitor 1100 31 Haskell 75 Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building. 2025-04-06T22:38:06Z
91 software-design-in-haskell 1096 69 Haskell 4 Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. 2024-12-18T11:27:13Z
92 reflex 1092 150 Haskell 74 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-04-01T13:47:47Z
93 queryparser 1080 145 Haskell 22 Parsing and analysis of Vertica, Hive, and Presto SQL. 2022-02-16T11:16:33Z
94 matterhorn 1068 78 Haskell 21 A feature-rich Unix terminal client for the Mattermost chat system 2025-05-06T17:19:19Z
95 HaLVM 1062 79 Haskell 37 The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen 2018-12-06T17:24:40Z
96 polysemy 1051 77 Haskell 44 ♊ higher-order, no-boilerplate monads 2025-03-15T12:15:30Z
97 grin 1041 38 Haskell 26 GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. 2023-04-28T14:15:23Z
98 kaleidoscope 1041 129 Haskell 8 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z
99 linux_notification_center 1036 40 Haskell 39 A notification daemon/center for linux 2025-02-06T11:12:49Z
100 fp-course 1031 133 Haskell 6 Functional Programming Course 2023-03-06T02:28:36Z