Github-Ranking

:star:Github Ranking:star: Github stars and forks ranking list. Github Top100 stars list of different languages. Automatically update daily. | Github仓库排名,每日自动更新

View on GitHub

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 shellcheck 36929 1798 Haskell 1070 ShellCheck, a static analysis tool for shell scripts 2024-12-14T05:42:11Z
2 pandoc 35868 3440 Haskell 1026 Universal markup converter 2025-02-16T22:44:08Z
3 postgrest 24582 1055 Haskell 263 REST API for any Postgres database 2025-02-17T19:19:40Z
4 hadolint 10692 429 Haskell 211 Dockerfile linter, validate inline bash, written in Haskell 2024-12-09T08:05:16Z
5 semantic 9009 452 Haskell 111 Parsing, analyzing, and comparing source code across many languages 2024-07-24T03:56:04Z
6 purescript 8642 566 Haskell 275 A strongly-typed language that compiles to JavaScript 2024-09-29T06:33:12Z
7 compiler 7604 658 Haskell 316 Compiler for Elm, a functional language for reliable webapps. 2024-07-17T21:53:51Z
8 unison 5912 274 Haskell 1087 A friendly programming language from the future 2025-02-13T18:27:51Z
9 Carp 5613 173 Haskell 133 A statically typed lisp, without a GC, for real-time applications. 2024-11-26T10:58:51Z
10 ihp 4995 201 Haskell 245 🔥 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-02-17T20:28:31Z
11 kmonad 4299 328 Haskell 194 An advanced keyboard manager 2025-02-17T10:57:23Z
12 Haxl 4291 311 Haskell 3 A Haskell library that simplifies access to remote data, such as databases or web-based services. 2024-11-19T13:29:04Z
13 fp-course 4159 1195 Haskell 15 Functional Programming Course 2024-12-02T00:31:53Z
14 duckling 4115 727 Haskell 122 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2025-02-13T20:10:38Z
15 stack 3998 845 Haskell 583 The Haskell Tool Stack 2025-02-15T15:49:10Z
16 cardano-sl 3767 630 Haskell 184 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
17 Kind 3629 146 Haskell 3 A modern proof language 2025-01-22T16:54:12Z
18 Idris-dev 3438 642 Haskell 691 A Dependently Typed Functional Programming Language 2025-02-17T14:08:47Z
19 koka 3422 170 Haskell 155 Koka language compiler and interpreter 2025-02-10T17:35:36Z
20 xmonad 3414 296 Haskell 46 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2025-01-26T23:08:54Z
21 write-you-a-haskell 3367 256 Haskell 22 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
22 hledger 3158 323 Haskell 340 Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. 2025-02-16T17:20:04Z
23 awesome-haskell 3132 173 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 3105 721 Haskell 270 The core component that is used to participate in a Cardano decentralised blockchain. 2025-02-17T18:18:31Z
25 ghc 3093 710 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-02-18T03:52:27Z
26 Simula 3018 93 Haskell 63 Linux VR Desktop 2024-12-14T22:46:21Z
27 echidna 2819 389 Haskell 121 Ethereum smart contract fuzzer 2025-02-10T08:45:54Z
28 haskell-language-server 2753 374 Haskell 467 Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. 2025-02-17T14:47:41Z
29 hakyll 2732 410 Haskell 97 A static website compiler library in Haskell 2025-02-18T00:17:43Z
30 Functional-Programming 2694 158 Haskell 5 Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python 2019-08-06T22:00:55Z
31 yesod 2658 372 Haskell 103 A RESTful Haskell web framework built on WAI. 2025-02-01T06:28:49Z
32 wire-server 2657 325 Haskell 44 🇪🇺 Wire back-end services 2025-02-17T18:40:54Z
33 eta 2616 140 Haskell 238 The Eta Programming Language, a dialect of Haskell on the JVM 2022-07-31T17:14:19Z
34 xdg-ninja 2611 152 Haskell 25 A shell script which checks your $HOME for unwanted files and directories. 2025-02-06T16:29:06Z
35 ghcjs 2611 186 Haskell 278 Haskell to JavaScript compiler, based on GHC 2023-01-21T23:46:36Z
36 wiwinwlh 2586 242 Haskell 0 What I Wish I Knew When Learning Haskell 2022-02-25T06:38:14Z
37 agda 2573 367 Haskell 998 Agda is a dependently typed programming language / interactive theorem prover. 2025-02-06T16:19:29Z
38 patat 2494 62 Haskell 12 Terminal-based presentations using Pandoc 2025-02-10T10:39:50Z
39 futhark 2464 173 Haskell 65 :boom::computer::boom: A data-parallel functional programming language 2025-02-17T22:46:07Z
40 haskell-ide-engine 2377 206 Haskell 294 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
41 Tidal 2345 262 Haskell 124 Pattern language 2025-02-17T22:22:56Z
42 miso 2222 141 Haskell 15 :ramen: A tasty Haskell front-end framework 2025-02-18T02:57:25Z
43 gitit 2177 224 Haskell 191 A wiki using HAppS, pandoc, and git 2025-01-13T20:03:24Z
44 corrode 2164 114 Haskell 65 C to Rust translator 2019-03-10T01:48:47Z
45 dapptools 2108 325 Haskell 145 Dapp, Seth, Hevm, and more 2023-09-11T06:53:03Z
46 lens 2043 275 Haskell 96 Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens 2025-01-22T12:44:51Z
47 asterius 1969 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 lamdu 1860 72 Haskell 22 lamdu - towards the next generation IDE 2025-01-12T21:28:33Z
49 servant 1850 414 Haskell 267 Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! 2025-02-07T11:47:39Z
50 erd 1819 152 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 1794 115 Haskell 47 A multilingual package manager for Arch Linux and the AUR. 2025-01-04T07:45:01Z
52 taskell 1742 73 Haskell 0 Command-line Kanban board/task manager with support for Trello boards and GitHub projects 2023-10-03T06:57:40Z
53 scotty 1731 135 Haskell 30 Haskell web framework inspired by Ruby’s Sinatra, using WAI and Warp (Official Repository) 2025-01-27T04:56:34Z
54 zsh-git-prompt 1730 398 Haskell 34 Informative git prompt for zsh 2023-11-08T03:54:12Z
55 niv 1667 77 Haskell 80 Easy dependency management for Nix projects 2025-01-09T15:37:27Z
56 cabal 1648 704 Haskell 1717 Official upstream development repository for Cabal and cabal-install 2025-02-18T03:09:05Z
57 HLearn 1624 133 Haskell 22 Homomorphic machine learning 2016-05-29T16:51:53Z
58 brick 1624 164 Haskell 4 A declarative Unix terminal UI library written in Haskell 2025-02-11T22:52:52Z
59 dex-lang 1603 109 Haskell 106 Research language for array processing in the Haskell/ML family 2025-01-25T03:31:39Z
60 haskell 1590 198 Haskell 37 Haskell bindings for TensorFlow 2024-08-15T15:09:36Z
61 plutus 1585 483 Haskell 194 The Plutus language implementation and tools 2025-02-18T03:37:24Z
62 real-world-haskell-cn 1565 231 Haskell 15 《Real World Haskell》中文翻译项目 2022-02-14T13:35:16Z
63 neuron 1524 150 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 1513 201 Haskell 205 The Haskell-Scriptable Editor 2024-11-01T13:05:53Z
65 hlint 1499 199 Haskell 253 Haskell source code suggestions 2025-02-16T07:23:12Z
66 clash-compiler 1465 156 Haskell 323 Haskell to VHDL/Verilog/SystemVerilog compiler 2025-02-15T18:23:35Z
67 grenade 1452 83 Haskell 17 Deep Learning in Haskell 2023-12-08T21:23:07Z
68 haste-compiler 1441 111 Haskell 63 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z
69 haskell-trainings 1402 109 Haskell 4 Haskell 101 and 102: slides and codelabs 2023-04-10T00:27:48Z
70 plutus-pioneer-program 1388 993 Haskell 2 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. 2024-10-28T15:20:05Z
71 greenclip 1387 33 Haskell 0 Simple clipboard manager to be integrated with rofi - Static binary available 2023-10-01T15:33:08Z
72 gifcurry 1376 57 Haskell 37 😎 The open-source, Haskell-built video editor for GIF makers. 2021-08-13T16:19:41Z
73 course-plan 1341 57 Haskell 0 📜 Haskell course info, plan, video lectures, slides 2023-07-09T14:01:05Z
74 fossa-cli 1330 179 Haskell 58 Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems. 2025-02-14T17:01:11Z
75 elm-format 1318 148 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 1282 89 Haskell 22 A proper subset of Haskell that compiles to JavaScript 2021-06-09T15:10:00Z
77 Publications 1268 38 Haskell 4 Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com 2025-01-10T12:21:23Z
78 aeson 1264 323 Haskell 64 A fast Haskell JSON library 2025-01-15T06:44:43Z
79 articles 1257 92 Haskell 0 Miscellaneous articles. The readme is the table of contents. 2023-07-12T09:28:11Z
80 codeworld 1250 197 Haskell 426 Educational computer programming environment using Haskell 2025-02-16T03:27:44Z
81 liquidhaskell 1221 140 Haskell 421 Liquid Types For Haskell 2025-02-14T01:44:30Z
82 developers-roadmap 1202 263 Haskell 51 How to learn front-end or back-end development 2025-02-05T17:08:50Z
83 ghcid 1148 112 Haskell 111 Very low feature GHCi based IDE 2024-03-01T13:09:46Z
84 cryptol 1141 123 Haskell 240 Cryptol: The Language of Cryptography 2025-02-18T00:44:20Z
85 reanimate 1139 62 Haskell 25 Haskell library for building declarative animations based on SVG graphics 2025-02-06T18:32:33Z
86 haskell-must-watch 1134 59 Haskell 0 Huge list of videos, talks, courses for Haskell programming language. 2017-10-17T13:24:26Z
87 kitten 1109 40 Haskell 65 A statically typed concatenative systems programming language. 2023-04-10T00:10:33Z
88 hasktorch 1093 110 Haskell 71 Tensors and neural networks in Haskell 2025-02-16T05:30:20Z
89 software-design-in-haskell 1092 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
90 reflex 1082 150 Haskell 76 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-01-21T15:38:58Z
91 queryparser 1079 145 Haskell 22 Parsing and analysis of Vertica, Hive, and Presto SQL. 2022-02-16T11:16:33Z
92 matterhorn 1065 78 Haskell 23 A feature-rich Unix terminal client for the Mattermost chat system 2025-02-11T20:53:41Z
93 HaLVM 1057 79 Haskell 37 The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen 2018-12-06T17:24:40Z
94 polysemy 1041 73 Haskell 44 :gemini: higher-order, no-boilerplate monads 2025-02-17T20:26:16Z
95 kaleidoscope 1036 129 Haskell 8 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z
96 grin 1034 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
97 fp-course 1031 133 Haskell 6 Functional Programming Course 2023-03-06T02:28:36Z
98 nixfmt 1026 46 Haskell 24 The official (but not yet stable) formatter for Nix code 2025-02-17T22:09:48Z
99 kit 1023 29 Haskell 17 Kit: a magical, high performance programming language, designed for game development. 2021-08-14T01:21:10Z
100 linux_notification_center 1022 40 Haskell 39 A notification daemon/center for linux 2025-02-06T11:12:49Z