mirror of
https://github.com/EvanLi/Github-Ranking.git
synced 2026-11-06 16:31:49 +00:00
18 KiB
18 KiB
Github Ranking
Top 100 Stars in Haskell
| Ranking | Project Name | Stars | Forks | Language | Open Issues | Description | Last Commit |
|---|---|---|---|---|---|---|---|
| 1 | shellcheck | 32526 | 1673 | Haskell | 918 | ShellCheck, a static analysis tool for shell scripts | 2023-07-08T04:10:09Z |
| 2 | pandoc | 29368 | 3155 | Haskell | 912 | Universal markup converter | 2023-07-14T20:15:06Z |
| 3 | postgrest | 20790 | 951 | Haskell | 193 | REST API for any Postgres database | 2023-07-12T19:51:22Z |
| 4 | hadolint | 8763 | 385 | Haskell | 143 | Dockerfile linter, validate inline bash, written in Haskell | 2023-06-22T15:57:46Z |
| 5 | semantic | 8706 | 503 | Haskell | 105 | Parsing, analyzing, and comparing source code across many languages | 2022-07-22T15:39:27Z |
| 6 | purescript | 8202 | 568 | Haskell | 252 | A strongly-typed language that compiles to JavaScript | 2023-07-14T17:06:23Z |
| 7 | compiler | 7220 | 660 | Haskell | 290 | Compiler for Elm, a functional language for reliable webapps. | 2023-07-14T10:18:10Z |
| 8 | unison | 5264 | 256 | Haskell | 938 | A friendly programming language from the future | 2023-07-15T19:58:56Z |
| 9 | Carp | 5237 | 171 | Haskell | 129 | A statically typed lisp, without a GC, for real-time applications. | 2023-02-28T08:34:12Z |
| 10 | Haxl | 4196 | 331 | Haskell | 2 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2022-12-07T04:04:55Z |
| 11 | ihp | 4013 | 179 | Haskell | 213 | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness | 2023-07-15T20:23:58Z |
| 12 | fp-course | 4007 | 1176 | Haskell | 14 | Functional Programming Course | 2023-06-23T07:18:18Z |
| 13 | duckling | 3895 | 727 | Haskell | 108 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2023-02-23T04:11:28Z |
| 14 | stack | 3878 | 857 | Haskell | 809 | The Haskell Tool Stack | 2023-07-13T11:18:37Z |
| 15 | cardano-sl | 3756 | 636 | Haskell | 184 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-07-30T15:22:04Z |
| 16 | simplex-chat | 3523 | 160 | Haskell | 292 | SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱! | 2023-07-16T00:23:10Z |
| 17 | Idris-dev | 3395 | 661 | Haskell | 691 | A Dependently Typed Functional Programming Language | 2023-03-04T17:59:32Z |
| 18 | write-you-a-haskell | 3262 | 260 | Haskell | 22 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2021-01-11T13:56:03Z |
| 19 | wasp | 3159 | 151 | Haskell | 290 | The fastest way to develop full-stack web apps with React & Node.js. | 2023-07-15T14:18:14Z |
| 20 | xmonad | 3053 | 284 | Haskell | 43 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2023-06-28T18:28:54Z |
| 21 | cardano-node | 2949 | 709 | Haskell | 247 | The core component that is used to participate in a Cardano decentralised blockchain. | 2023-07-16T02:45:07Z |
| 22 | awesome-haskell | 2919 | 172 | Haskell | 10 | A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. | 2023-04-13T20:54:30Z |
| 23 | ghc | 2875 | 700 | 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). | 2023-07-08T14:01:58Z |
| 24 | kmonad | 2868 | 282 | Haskell | 165 | An advanced keyboard manager | 2023-07-09T09:48:22Z |
| 25 | Simula | 2703 | 79 | Haskell | 50 | Linux VR Desktop | 2023-04-25T20:24:07Z |
| 26 | koka | 2673 | 128 | Haskell | 125 | Koka language compiler and interpreter | 2023-07-15T21:45:31Z |
| 27 | Functional-Programming | 2669 | 166 | Haskell | 3 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06T22:00:55Z |
| 28 | hakyll | 2586 | 420 | Haskell | 94 | A static website compiler library in Haskell | 2023-06-21T06:59:39Z |
| 29 | eta | 2576 | 152 | Haskell | 239 | The Eta Programming Language, a dialect of Haskell on the JVM | 2022-07-31T17:14:19Z |
| 30 | ghcjs | 2575 | 195 | Haskell | 278 | Haskell to JavaScript compiler, based on GHC | 2023-01-21T23:46:36Z |
| 31 | wire-server | 2552 | 362 | Haskell | 41 | 🇪🇺 Wire back-end services | 2023-07-15T15:01:13Z |
| 32 | yesod | 2544 | 374 | Haskell | 94 | A RESTful Haskell web framework built on WAI. | 2023-07-13T03:24:35Z |
| 33 | wiwinwlh | 2484 | 233 | Haskell | 0 | What I Wish I Knew When Learning Haskell | 2022-02-25T06:38:14Z |
| 34 | hledger | 2435 | 286 | Haskell | 320 | Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. | 2023-07-16T02:38:54Z |
| 35 | haskell-ide-engine | 2403 | 220 | Haskell | 294 | The engine for haskell ide-integration. Not an IDE | 2020-12-23T06:21:46Z |
| 36 | haskell-language-server | 2382 | 308 | Haskell | 537 | Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. | 2023-07-15T14:08:23Z |
| 37 | agda | 2155 | 300 | Haskell | 886 | Agda is a dependently typed programming language / interactive theorem prover. | 2023-07-08T21:04:04Z |
| 38 | corrode | 2131 | 117 | Haskell | 65 | C to Rust translator | 2019-03-10T01:48:47Z |
| 39 | futhark | 2107 | 149 | Haskell | 52 | :boom::computer:💥 A data-parallel functional programming language | 2023-07-13T11:46:43Z |
| 40 | miso | 2080 | 140 | Haskell | 12 | 🍜 A tasty Haskell front-end framework | 2023-07-12T13:05:40Z |
| 41 | gitit | 2079 | 226 | Haskell | 186 | A wiki using HAppS, pandoc, and git | 2023-07-04T05:51:55Z |
| 42 | asterius | 1996 | 60 | 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 |
| 43 | patat | 1967 | 55 | Haskell | 25 | Terminal-based presentations using Pandoc | 2023-06-27T08:58:01Z |
| 44 | dapptools | 1960 | 337 | Haskell | 143 | Dapp, Seth, Hevm, and more | 2023-05-11T07:24:55Z |
| 45 | lens | 1936 | 256 | Haskell | 88 | Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens | 2023-07-13T12:01:01Z |
| 46 | lamdu | 1830 | 67 | Haskell | 21 | lamdu - towards the next generation IDE | 2023-06-28T08:49:26Z |
| 47 | xdg-ninja | 1742 | 102 | Haskell | 17 | A shell script which checks your $HOME for unwanted files and directories. | 2023-07-09T14:21:40Z |
| 48 | servant | 1722 | 400 | Haskell | 257 | Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! | 2023-07-12T07:48:47Z |
| 49 | erd | 1704 | 149 | Haskell | 16 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2023-05-31T19:12:53Z |
| 50 | zsh-git-prompt | 1656 | 398 | Haskell | 34 | Informative git prompt for zsh | 2023-05-16T06:06:21Z |
| 51 | wstunnel | 1646 | 188 | Haskell | 11 | Tunneling over websocket protocol - Static binary available | 2023-03-03T13:55:36Z |
| 52 | scotty | 1640 | 125 | Haskell | 45 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2023-07-07T08:49:05Z |
| 53 | HLearn | 1604 | 139 | Haskell | 22 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 54 | taskell | 1594 | 60 | Haskell | 45 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | 2022-02-03T16:24:25Z |
| 55 | aura | 1548 | 110 | Haskell | 60 | A secure, multilingual package manager for Arch Linux and the AUR. | 2023-04-29T07:42:57Z |
| 56 | real-world-haskell-cn | 1537 | 229 | Haskell | 14 | 《Real World Haskell》中文翻译项目 | 2022-02-14T13:35:16Z |
| 57 | haskell | 1535 | 209 | Haskell | 35 | Haskell bindings for TensorFlow | 2023-03-05T05:48:58Z |
| 58 | cabal | 1499 | 669 | Haskell | 1438 | Official upstream development repository for Cabal and cabal-install | 2023-07-16T02:08:02Z |
| 59 | yi | 1482 | 205 | Haskell | 206 | The Haskell-Scriptable Editor | 2023-03-18T16:11:59Z |
| 60 | dex-lang | 1475 | 102 | Haskell | 104 | Research language for array processing in the Haskell/ML family | 2023-07-15T02:05:47Z |
| 61 | neuron | 1470 | 147 | Haskell | 23 | Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote) | 2023-05-22T16:29:04Z |
| 62 | plutus | 1460 | 445 | Haskell | 41 | The Plutus language implementation and tools | 2023-07-14T20:56:56Z |
| 63 | haste-compiler | 1444 | 115 | Haskell | 63 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 64 | brick | 1444 | 164 | Haskell | 7 | A declarative Unix terminal UI library written in Haskell | 2023-06-15T21:10:03Z |
| 65 | grenade | 1427 | 87 | Haskell | 17 | Deep Learning in Haskell | 2023-04-23T02:48:25Z |
| 66 | plutus-pioneer-program | 1386 | 884 | Haskell | 0 | 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. | 2023-06-19T10:34:25Z |
| 67 | hlint | 1374 | 200 | Haskell | 226 | Haskell source code suggestions | 2023-07-04T11:15:45Z |
| 68 | haskell-trainings | 1361 | 113 | Haskell | 4 | Haskell 101 and 102: slides and codelabs | 2023-04-10T00:27:48Z |
| 69 | elm-format | 1298 | 147 | Haskell | 212 | 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 |
| 70 | fay | 1281 | 90 | Haskell | 22 | A proper subset of Haskell that compiles to JavaScript | 2021-06-09T15:10:00Z |
| 71 | clash-compiler | 1276 | 141 | Haskell | 243 | Haskell to VHDL/Verilog/SystemVerilog compiler | 2023-07-15T19:08:07Z |
| 72 | niv | 1232 | 62 | Haskell | 76 | Easy dependency management for Nix projects | 2023-06-19T12:12:00Z |
| 73 | codeworld | 1229 | 205 | Haskell | 311 | Educational computer programming environment using Haskell | 2023-02-12T21:52:02Z |
| 74 | ImplicitCAD | 1227 | 139 | Haskell | 56 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation... | 2022-11-22T12:20:44Z |
| 75 | gifcurry | 1224 | 55 | Haskell | 32 | 😎 The open-source, Haskell-built video editor for GIF makers. | 2021-08-13T16:19:41Z |
| 76 | articles | 1213 | 94 | Haskell | 0 | Miscellaneous articles. The readme is the table of contents. | 2023-07-12T09:28:11Z |
| 77 | aeson | 1198 | 296 | Haskell | 55 | A fast Haskell JSON library | 2023-06-30T05:13:38Z |
| 78 | fossa-cli | 1128 | 185 | Haskell | 50 | Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems. | 2023-07-14T23:54:40Z |
| 79 | developers-roadmap | 1107 | 266 | Haskell | 50 | How to learn front-end or back-end development | 2023-06-26T03:14:46Z |
| 80 | haskell-must-watch | 1103 | 62 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 81 | greenclip | 1099 | 29 | Haskell | 6 | Simple clipboard manager to be integrated with rofi - Static binary available | 2023-01-01T10:35:45Z |
| 82 | liquidhaskell | 1090 | 128 | Haskell | 446 | Liquid Types For Haskell | 2023-07-13T11:04:38Z |
| 83 | ghcid | 1089 | 104 | Haskell | 103 | Very low feature GHCi based IDE | 2023-07-12T08:54:52Z |
| 84 | cryptol | 1066 | 127 | Haskell | 197 | Cryptol: The Language of Cryptography | 2023-07-13T16:46:18Z |
| 85 | reanimate | 1062 | 57 | Haskell | 25 | Haskell library for building declarative animations based on SVG graphics | 2023-03-13T12:00:34Z |
| 86 | queryparser | 1056 | 146 | Haskell | 23 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2022-02-16T11:16:33Z |
| 87 | course-plan | 1052 | 40 | Haskell | 0 | 📜 Haskell course info, plan, video lectures, slides | 2023-07-09T14:01:05Z |
| 88 | HaLVM | 1043 | 87 | Haskell | 37 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 89 | kitten | 1040 | 40 | Haskell | 63 | A statically typed concatenative systems programming language. | 2023-04-10T00:10:33Z |
| 90 | reflex | 1032 | 143 | Haskell | 71 | 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. | 2023-07-07T20:53:05Z |
| 91 | intero | 1021 | 142 | Haskell | 0 | None | 2020-01-25T08:48:39Z |
| 92 | fp-course | 1014 | 135 | Haskell | 5 | Functional Programming Course | 2023-03-06T02:28:36Z |
| 93 | software-design-in-haskell | 1010 | 65 | Haskell | 4 | Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. | 2023-06-02T05:28:48Z |
| 94 | kit | 1004 | 30 | Haskell | 16 | Kit: a magical, high performance programming language, designed for game development. | 2021-08-14T01:21:10Z |
| 95 | polysemy | 1002 | 66 | Haskell | 42 | ♊ higher-order, no-boilerplate monads | 2023-06-16T12:12:14Z |
| 96 | kaleidoscope | 999 | 135 | Haskell | 8 | Haskell LLVM JIT Compiler Tutorial | 2020-04-21T09:09:58Z |
| 97 | grin | 995 | 34 | Haskell | 25 | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | 2023-04-28T14:15:23Z |
| 98 | leksah | 971 | 112 | Haskell | 229 | Haskell IDE | 2022-04-02T13:26:03Z |
| 99 | toodles | 970 | 34 | Haskell | 13 | Project management directly from the TODOs in your codebase | 2023-04-18T21:04:04Z |
| 100 | matterhorn | 964 | 76 | Haskell | 23 | A feature-rich Unix terminal client for the Mattermost chat system | 2023-07-15T00:30:52Z |