mirror of
https://github.com/EvanLi/Github-Ranking.git
synced 2026-11-06 16:31:49 +00:00
11 KiB
11 KiB
Github Ranking
Top 100 Stars in Haskell
| Ranking | Project Name | Stars | Forks | Language | Open Issues | Description | Last Commit |
|---|---|---|---|---|---|---|---|
| 1 | shellcheck | 30981 | 1565 | Haskell | 812 | ShellCheck, a static analysis tool for shell scripts | 2022-12-15T23:48:11Z |
| 2 | pandoc | 27349 | 3038 | Haskell | 814 | Universal markup converter | 2022-12-29T23:05:15Z |
| 3 | postgrest | 19746 | 909 | Haskell | 169 | REST API for any Postgres database | 2022-12-30T14:40:17Z |
| 4 | semantic | 8565 | 499 | Haskell | 102 | Parsing, analyzing, and comparing source code across many languages | 2022-07-22T15:39:27Z |
| 5 | hadolint | 7993 | 347 | Haskell | 127 | Dockerfile linter, validate inline bash, written in Haskell | 2023-01-01T15:15:33Z |
| 6 | purescript | 7966 | 563 | Haskell | 246 | A strongly-typed language that compiles to JavaScript | 2022-12-19T22:14:28Z |
| 7 | compiler | 7052 | 644 | Haskell | 278 | Compiler for Elm, a functional language for reliable webapps. | 2022-12-25T15:28:01Z |
| 8 | unison | 4844 | 244 | Haskell | 873 | A friendly programming language from the future | 2023-01-01T22:43:41Z |
| 9 | Carp | 4821 | 167 | Haskell | 125 | A statically typed lisp, without a GC, for real-time applications. | 2022-12-28T07:17:48Z |
| 10 | Haxl | 4152 | 325 | Haskell | 2 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2022-12-07T04:04:55Z |
| 11 | fp-course | 3940 | 1177 | Haskell | 14 | Functional Programming Course | 2022-10-05T02:57:23Z |
| 12 | stack | 3810 | 852 | Haskell | 889 | The Haskell Tool Stack | 2023-01-02T00:27:02Z |
| 13 | ihp | 3798 | 163 | Haskell | 185 | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness | 2022-12-26T08:49:25Z |
| 14 | duckling | 3762 | 702 | Haskell | 104 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2022-11-10T18:50:31Z |
| 15 | cardano-sl | 3753 | 622 | Haskell | 184 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-07-30T15:22:04Z |
| 16 | Idris-dev | 3375 | 661 | Haskell | 690 | A Dependently Typed Functional Programming Language | 2022-10-10T19:35:55Z |
| 17 | write-you-a-haskell | 3210 | 254 | Haskell | 22 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2021-01-11T13:56:03Z |
| 18 | cardano-node | 2867 | 666 | Haskell | 225 | The core component that is used to participate in a Cardano decentralised blockchain. | 2023-01-02T02:59:22Z |
| 19 | awesome-haskell | 2837 | 167 | Haskell | 10 | A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. | 2022-12-15T14:45:10Z |
| 20 | xmonad | 2819 | 270 | Haskell | 41 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2022-12-19T12:05:40Z |
| 21 | ghc | 2795 | 690 | 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-01-01T17:54:29Z |
| 22 | Functional-Programming | 2657 | 164 | Haskell | 3 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06T22:00:55Z |
| 23 | Simula | 2578 | 78 | Haskell | 46 | Linux VR Desktop | 2022-12-15T16:38:53Z |
| 24 | eta | 2560 | 150 | Haskell | 239 | The Eta Programming Language, a dialect of Haskell on the JVM | 2022-07-31T17:14:19Z |
| 25 | ghcjs | 2558 | 190 | Haskell | 278 | Haskell to JavaScript compiler, based on GHC | 2022-12-24T20:28:24Z |
| 26 | hakyll | 2531 | 412 | Haskell | 92 | A static website compiler library in Haskell | 2022-12-24T15:15:21Z |
| 27 | yesod | 2502 | 366 | Haskell | 91 | A RESTful Haskell web framework built on WAI. | 2022-12-09T06:29:32Z |
| 28 | wire-server | 2494 | 342 | Haskell | 40 | 🇪🇺 Wire back-end services | 2022-12-29T20:42:00Z |
| 29 | koka | 2435 | 118 | Haskell | 118 | Koka language compiler and interpreter | 2023-01-02T02:21:50Z |
| 30 | wiwinwlh | 2416 | 234 | Haskell | 0 | What I Wish I Knew When Learning Haskell | 2022-02-25T06:38:14Z |
| 31 | haskell-ide-engine | 2412 | 224 | Haskell | 294 | The engine for haskell ide-integration. Not an IDE | 2020-12-23T06:21:46Z |
| 32 | kmonad | 2365 | 263 | Haskell | 144 | An advanced keyboard manager | 2022-12-31T20:09:03Z |
| 33 | hledger | 2259 | 269 | Haskell | 351 | Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. | 2022-12-31T17:41:26Z |
| 34 | haskell-language-server | 2259 | 282 | Haskell | 482 | Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. | 2023-01-01T06:54:05Z |
| 35 | wasp | 2216 | 113 | Haskell | 204 | A programming language that understands what a web app is. | 2022-12-23T16:33:48Z |
| 36 | simplex-chat | 2139 | 104 | Haskell | 122 | SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱! | 2023-01-01T14:07:46Z |
| 37 | corrode | 2122 | 116 | Haskell | 66 | C to Rust translator | 2019-03-10T01:48:47Z |
| 38 | gitit | 2043 | 219 | Haskell | 185 | A wiki using HAppS, pandoc, and git | 2022-12-26T17:19:34Z |
| 39 | miso | 2025 | 137 | Haskell | 10 | 🍜 A tasty Haskell front-end framework | 2022-12-12T16:06:42Z |
| 40 | agda | 2004 | 279 | Haskell | 846 | Agda is a dependently typed programming language / interactive theorem prover. | 2022-12-31T12:52:19Z |
| 41 | asterius | 2003 | 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 |
| 42 | futhark | 1917 | 139 | Haskell | 55 | :boom::computer:💥 A data-parallel functional programming language | 2023-01-01T21:11:55Z |
| 43 | lens | 1904 | 246 | Haskell | 85 | Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens | 2022-12-31T18:46:17Z |
| 44 | patat | 1892 | 55 | Haskell | 22 | Terminal-based presentations using Pandoc | 2022-10-26T16:46:12Z |
| 45 | dapptools | 1828 | 312 | Haskell | 142 | Dapp, Seth, Hevm, and more | 2022-12-29T09:52:35Z |
| 46 | lamdu | 1810 | 68 | Haskell | 24 | lamdu - towards the next generation IDE | 2022-12-29T16:05:40Z |
| 47 | servant | 1672 | 384 | Haskell | 254 | Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! | 2022-12-30T11:56:53Z |
| 48 | erd | 1646 | 143 | Haskell | 16 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2022-11-21T19:18:30Z |
| 49 | zsh-git-prompt | 1623 | 390 | Haskell | 34 | Informative git prompt for zsh | 2022-03-24T15:50:23Z |
| 50 | scotty | 1617 | 124 | Haskell | 44 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2022-11-20T15:40:41Z |
| 51 | HLearn | 1597 | 138 | Haskell | 22 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 52 | taskell | 1522 | 60 | Haskell | 45 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | 2022-02-03T16:24:25Z |
| 53 | real-world-haskell-cn | 1515 | 227 | Haskell | 14 | 《Real World Haskell》中文翻译项目 | 2022-02-14T13:35:16Z |
| 54 | haskell | 1491 | 199 | Haskell | 38 | Haskell bindings for TensorFlow | 2022-12-22T14:48:53Z |
| 55 | aura | 1465 | 109 | Haskell | 52 | A secure, multilingual package manager for Arch Linux and the AUR. | 2022-11-18T01:28:01Z |
| 56 | yi | 1461 | 201 | Haskell | 205 | The Haskell-Scriptable Editor | 2022-12-10T14:19:09Z |
| 57 | haste-compiler | 1447 | 115 | Haskell | 63 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 58 | cabal | 1442 | 628 | Haskell | 1345 | Official upstream development repository for Cabal and cabal-install | 2023-01-01T17:34:13Z |
| 59 | neuron | 1440 | 150 | Haskell | 23 | Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/EmaApps/emanote) | 2022-10-14T14:21:52Z |
| 60 | plutus | 1428 | 439 | Haskell | 73 | The Plutus language implementation and tools | 2023-01-01T17:24:53Z |