Files
Github-Ranking/Top100/Haskell.md
T
2025-03-19 12:06:47 +08:00

18 KiB

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 shellcheck 37081 1798 Haskell 1081 ShellCheck, a static analysis tool for shell scripts 2024-12-14T05:42:11Z
2 pandoc 36405 3463 Haskell 1034 Universal markup converter 2025-03-18T16:11:03Z
3 postgrest 24874 1065 Haskell 265 REST API for any Postgres database 2025-03-17T13:39:16Z
4 hadolint 10774 436 Haskell 211 Dockerfile linter, validate inline bash, written in Haskell 2025-03-10T08:23:02Z
5 semantic 9023 453 Haskell 111 Parsing, analyzing, and comparing source code across many languages 2024-07-24T03:56:04Z
6 purescript 8671 566 Haskell 275 A strongly-typed language that compiles to JavaScript 2025-02-20T15:16:21Z
7 compiler 7617 659 Haskell 316 Compiler for Elm, a functional language for reliable webapps. 2024-07-17T21:53:51Z
8 unison 5952 274 Haskell 1094 A friendly programming language from the future 2025-03-19T01:52:07Z
9 Carp 5630 173 Haskell 133 A statically typed lisp, without a GC, for real-time applications. 2024-11-26T10:58:51Z
10 ihp 5009 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-03-18T15:58:51Z
11 kmonad 4355 330 Haskell 193 An advanced keyboard manager 2025-03-11T11:55:34Z
12 Haxl 4294 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 4169 1196 Haskell 15 Functional Programming Course 2024-12-02T00:31:53Z
14 duckling 4130 727 Haskell 122 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2025-02-22T01:17:27Z
15 stack 4013 848 Haskell 584 The Haskell Tool Stack 2025-03-15T23:25:29Z
16 cardano-sl 3774 629 Haskell 184 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
17 Kind 3644 145 Haskell 3 A modern proof language 2025-01-22T16:54:12Z
18 koka 3452 175 Haskell 154 Koka language compiler and interpreter 2025-03-18T20:53:30Z
19 Idris-dev 3447 641 Haskell 691 A Dependently Typed Functional Programming Language 2025-02-17T14:08:47Z
20 xmonad 3427 295 Haskell 47 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2025-03-17T06:41:05Z
21 write-you-a-haskell 3368 256 Haskell 22 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
22 hledger 3195 323 Haskell 344 Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. 2025-03-13T21:53:27Z
23 awesome-haskell 3135 173 Haskell 10 A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. 2023-04-13T20:54:30Z
24 ghc 3112 712 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-03-19T00:46:46Z
25 cardano-node 3111 725 Haskell 274 The core component that is used to participate in a Cardano decentralised blockchain. 2025-03-18T23:36:47Z
26 Simula 3032 96 Haskell 64 Linux VR Desktop 2024-12-14T22:46:21Z
27 echidna 2846 389 Haskell 122 Ethereum smart contract fuzzer 2025-03-10T22:34:34Z
28 haskell-language-server 2774 378 Haskell 472 Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. 2025-03-19T00:44:50Z
29 xdg-ninja 2769 153 Haskell 26 A shell script which checks your $HOME for unwanted files and directories. 2025-03-09T22:18:24Z
30 hakyll 2739 412 Haskell 97 A static website compiler library in Haskell 2025-03-02T19:45:35Z
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 yesod 2663 373 Haskell 103 A RESTful Haskell web framework built on WAI. 2025-03-14T15:41:25Z
33 wire-server 2662 325 Haskell 45 🇪🇺 Wire back-end services 2025-03-18T15:27:00Z
34 eta 2617 140 Haskell 238 The Eta Programming Language, a dialect of Haskell on the JVM 2022-07-31T17:14:19Z
35 ghcjs 2611 186 Haskell 278 Haskell to JavaScript compiler, based on GHC 2023-01-21T23:46:36Z
36 agda 2599 367 Haskell 996 Agda is a dependently typed programming language / interactive theorem prover. 2025-03-15T20:08:38Z
37 wiwinwlh 2582 241 Haskell 0 What I Wish I Knew When Learning Haskell 2022-02-25T06:38:14Z
38 patat 2542 62 Haskell 13 Terminal-based presentations using Pandoc 2025-03-18T12:08:52Z
39 futhark 2484 173 Haskell 66 :boom::computer:💥 A data-parallel functional programming language 2025-03-18T22:45:06Z
40 Tidal 2379 263 Haskell 101 Pattern language 2025-03-09T21:22:10Z
41 haskell-ide-engine 2374 206 Haskell 294 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
42 miso 2234 141 Haskell 6 🍜 A tasty Haskell front-end framework 2025-03-19T00:23:04Z
43 gitit 2186 224 Haskell 191 A wiki using HAppS, pandoc, and git 2025-01-13T20:03:24Z
44 corrode 2167 114 Haskell 65 C to Rust translator 2019-03-10T01:48:47Z
45 dapptools 2118 325 Haskell 145 Dapp, Seth, Hevm, and more 2025-02-25T19:28:22Z
46 lens 2050 275 Haskell 96 Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens 2025-03-04T12:07:05Z
47 asterius 1968 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 1864 73 Haskell 23 lamdu - towards the next generation IDE 2025-02-27T16:51:22Z
49 servant 1861 415 Haskell 267 Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! 2025-03-18T13:41:54Z
50 erd 1823 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 1802 115 Haskell 48 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 1738 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 1734 399 Haskell 34 Informative git prompt for zsh 2023-11-08T03:54:12Z
55 niv 1684 77 Haskell 80 Easy dependency management for Nix projects 2025-03-02T23:46:25Z
56 cabal 1657 705 Haskell 1724 Official upstream development repository for Cabal and cabal-install 2025-03-16T20:48:43Z
57 HLearn 1627 133 Haskell 22 Homomorphic machine learning 2016-05-29T16:51:53Z
58 brick 1624 166 Haskell 4 A declarative Unix terminal UI library written in Haskell 2025-03-12T17:00:15Z
59 dex-lang 1607 109 Haskell 106 Research language for array processing in the Haskell/ML family 2025-01-25T03:31:39Z
60 plutus 1591 485 Haskell 181 The Plutus language implementation and tools 2025-03-19T03:49:20Z
61 haskell 1589 198 Haskell 37 Haskell bindings for TensorFlow 2024-08-15T15:09:36Z
62 real-world-haskell-cn 1568 231 Haskell 15 《Real World Haskell》中文翻译项目 2022-02-14T13:35:16Z
63 neuron 1524 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 1517 201 Haskell 205 The Haskell-Scriptable Editor 2024-11-01T13:05:53Z
65 hlint 1503 199 Haskell 254 Haskell source code suggestions 2025-03-15T18:47:13Z
66 clash-compiler 1479 156 Haskell 329 Haskell to VHDL/Verilog/SystemVerilog compiler 2025-03-13T15:26:04Z
67 grenade 1451 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 haskell-trainings 1405 109 Haskell 4 Haskell 101 and 102: slides and codelabs 2023-04-10T00:27:48Z
70 greenclip 1399 35 Haskell 0 Simple clipboard manager to be integrated with rofi - Static binary available 2023-10-01T15:33:08Z
71 course-plan 1385 58 Haskell 0 📜 Haskell course info, plan, video lectures, slides 2023-07-09T14:01:05Z
72 plutus-pioneer-program 1384 997 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. 2025-02-22T17:07:57Z
73 gifcurry 1383 56 Haskell 38 😎 The open-source, Haskell-built video editor for GIF makers. 2021-08-13T16:19:41Z
74 fossa-cli 1343 180 Haskell 59 Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems. 2025-03-18T22:54:15Z
75 elm-format 1319 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 1271 38 Haskell 4 Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com 2025-01-10T12:21:23Z
78 aeson 1268 323 Haskell 65 A fast Haskell JSON library 2025-01-15T06:44:43Z
79 articles 1259 92 Haskell 0 Miscellaneous articles. The readme is the table of contents. 2023-07-12T09:28:11Z
80 codeworld 1249 197 Haskell 432 Educational computer programming environment using Haskell 2025-02-16T03:27:44Z
81 liquidhaskell 1228 144 Haskell 420 Liquid Types For Haskell 2025-03-19T00:41:22Z
82 developers-roadmap 1210 262 Haskell 53 How to learn front-end or back-end development 2025-03-14T11:13:25Z
83 cryptol 1150 123 Haskell 228 Cryptol: The Language of Cryptography 2025-03-14T01:41:06Z
84 ghcid 1150 113 Haskell 111 Very low feature GHCi based IDE 2024-03-01T13:09:46Z
85 reanimate 1142 62 Haskell 25 Haskell library for building declarative animations based on SVG graphics 2025-02-06T18:32:33Z
86 haskell-must-watch 1135 59 Haskell 0 Huge list of videos, talks, courses for Haskell programming language. 2017-10-17T13:24:26Z
87 kitten 1114 40 Haskell 65 A statically typed concatenative systems programming language. 2023-04-10T00:10:33Z
88 hasktorch 1099 111 Haskell 71 Tensors and neural networks in Haskell 2025-02-16T05:30:20Z
89 software-design-in-haskell 1095 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-03-09T22:54:46Z
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 20 A feature-rich Unix terminal client for the Mattermost chat system 2025-03-10T22:11:11Z
93 nixfmt 1060 48 Haskell 25 The official (but not yet stable) formatter for Nix code 2025-03-18T16:20:42Z
94 HaLVM 1057 79 Haskell 37 The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen 2018-12-06T17:24:40Z
95 nix-output-monitor 1052 30 Haskell 75 Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building. 2025-03-07T12:23:07Z
96 polysemy 1041 74 Haskell 44 ♊ higher-order, no-boilerplate monads 2025-03-15T12:15:30Z
97 kaleidoscope 1038 129 Haskell 8 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z
98 grin 1035 37 Haskell 26 GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. 2023-04-28T14:15:23Z
99 fp-course 1031 133 Haskell 6 Functional Programming Course 2023-03-06T02:28:36Z
100 linux_notification_center 1024 40 Haskell 39 A notification daemon/center for linux 2025-02-06T11:12:49Z