mirror of
https://github.com/EvanLi/Github-Ranking.git
synced 2026-11-06 14:39:08 +00:00
17 KiB
17 KiB
Github Ranking
Top 100 Stars in Haskell
| Ranking | Project Name | Stars | Forks | Language | Open Issues | Description | Last Commit |
|---|---|---|---|---|---|---|---|
| 1 | shellcheck | 25168 | 1261 | Haskell | 700 | ShellCheck, a static analysis tool for shell scripts | 2021-06-06T01:18:19Z |
| 2 | graphql-engine | 23240 | 1919 | Haskell | 1488 | Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. | 2021-06-24T02:29:33Z |
| 3 | pandoc | 22820 | 2687 | Haskell | 732 | Universal markup converter | 2021-06-23T18:40:23Z |
| 4 | postgrest | 17173 | 790 | Haskell | 151 | REST API for any Postgres database | 2021-06-24T00:14:13Z |
| 5 | semantic | 8059 | 457 | Haskell | 107 | Parsing, analyzing, and comparing source code across many languages | 2021-02-24T16:20:12Z |
| 6 | purescript | 7188 | 515 | Haskell | 268 | A strongly-typed language that compiles to JavaScript | 2021-06-23T19:44:12Z |
| 7 | compiler | 6462 | 574 | Haskell | 237 | Compiler for Elm, a functional language for reliable webapps. | 2021-04-13T01:28:11Z |
| 8 | hadolint | 5492 | 238 | Haskell | 82 | Dockerfile linter, validate inline bash, written in Haskell | 2021-06-21T08:03:28Z |
| 9 | Carp | 3970 | 146 | Haskell | 76 | A statically typed lisp, without a GC, for real-time applications. | 2021-06-23T21:47:54Z |
| 10 | Haxl | 3932 | 308 | Haskell | 6 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2021-06-09T11:31:41Z |
| 11 | unison | 3830 | 187 | Haskell | 579 | A friendly programming language from the future | 2021-06-23T02:50:54Z |
| 12 | fp-course | 3656 | 1120 | Haskell | 16 | Functional Programming Course | 2021-05-04T07:40:28Z |
| 13 | cardano-sl | 3631 | 608 | Haskell | 189 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-07-30T15:22:04Z |
| 14 | stack | 3554 | 787 | Haskell | 842 | The Haskell Tool Stack | 2021-06-23T15:22:34Z |
| 15 | duckling | 3321 | 630 | Haskell | 73 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2021-06-10T03:33:18Z |
| 16 | Idris-dev | 3298 | 658 | Haskell | 708 | A Dependently Typed Functional Programming Language | 2021-06-20T07:48:33Z |
| 17 | write-you-a-haskell | 2975 | 239 | Haskell | 27 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2021-01-11T13:56:03Z |
| 18 | Functional-Programming | 2600 | 158 | Haskell | 7 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06T22:00:55Z |
| 19 | ghc | 2538 | 647 | Haskell | 8 | 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). | 2021-06-24T00:39:41Z |
| 20 | eta | 2480 | 145 | Haskell | 242 | The Eta Programming Language, a dialect of Haskell on the JVM | 2019-11-30T21:26:00Z |
| 21 | haskell-ide-engine | 2442 | 228 | Haskell | 302 | The engine for haskell ide-integration. Not an IDE | 2020-12-23T06:21:46Z |
| 22 | ghcjs | 2437 | 175 | Haskell | 282 | Haskell to JavaScript compiler, based on GHC | 2021-06-22T08:25:46Z |
| 23 | awesome-haskell | 2405 | 153 | Haskell | 12 | A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. | 2021-03-31T08:55:57Z |
| 24 | yesod | 2359 | 358 | Haskell | 87 | A RESTful Haskell web framework built on WAI. | 2021-05-21T15:20:26Z |
| 25 | wire-server | 2314 | 312 | Haskell | 89 | 🇪🇺 Wire back-end services | 2021-06-23T18:43:02Z |
| 26 | hakyll | 2304 | 391 | Haskell | 118 | A static website compiler library in Haskell | 2021-06-22T17:26:21Z |
| 27 | IHaskell | 2260 | 236 | Haskell | 43 | A Haskell kernel for IPython. | 2021-06-17T10:56:11Z |
| 28 | wiwinwlh | 2138 | 222 | Haskell | 4 | What I Wish I Knew When Learning Haskell | 2021-06-19T22:00:57Z |
| 29 | corrode | 2057 | 109 | Haskell | 80 | C to Rust translator | 2019-03-10T01:48:47Z |
| 30 | ihp | 1984 | 100 | Haskell | 123 | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness | 2021-06-23T11:25:15Z |
| 31 | gitit | 1935 | 207 | Haskell | 208 | A wiki using HAppS, pandoc, and git | 2021-04-02T23:56:41Z |
| 32 | xmonad | 1897 | 220 | Haskell | 84 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2021-06-20T11:16:22Z |
| 33 | miso | 1826 | 133 | Haskell | 36 | 🍜 A tasty Haskell front-end framework | 2021-05-02T00:47:06Z |
| 34 | lens | 1777 | 239 | Haskell | 89 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 2021-05-28T10:45:14Z |
| 35 | hledger | 1765 | 232 | Haskell | 334 | easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger | 2021-06-24T00:30:06Z |
| 36 | lamdu | 1688 | 65 | Haskell | 6 | lamdu - towards the next generation IDE | 2021-06-23T10:39:59Z |
| 37 | asterius | 1667 | 52 | Haskell | 112 | A Haskell to WebAssembly compiler | 2021-05-07T18:27:12Z |
| 38 | cardano-node | 1643 | 298 | Haskell | 269 | The core component that is used to participate in a Cardano decentralised blockchain. | 2021-06-24T02:58:50Z |
| 39 | HLearn | 1577 | 135 | Haskell | 24 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 40 | haskell-language-server | 1574 | 153 | Haskell | 382 | Successor of ghcide & haskell-ide-engine. One IDE to rule them all. | 2021-06-23T20:45:13Z |
| 41 | patat | 1571 | 45 | Haskell | 15 | Terminal-based presentations using Pandoc | 2021-03-12T18:46:51Z |
| 42 | agda | 1530 | 191 | Haskell | 732 | Agda is a dependently typed programming language / interactive theorem prover. | 2021-06-23T11:06:18Z |
| 43 | zsh-git-prompt | 1506 | 368 | Haskell | 59 | Informative git prompt for zsh | 2021-06-11T15:08:06Z |
| 44 | scotty | 1505 | 124 | Haskell | 48 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2021-06-08T00:21:03Z |
| 45 | futhark | 1499 | 97 | Haskell | 52 | :boom::computer:💥 A data-parallel functional programming language | 2021-06-22T22:17:14Z |
| 46 | servant | 1491 | 334 | Haskell | 239 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! | 2021-06-23T21:49:55Z |
| 47 | Simula | 1465 | 40 | Haskell | 18 | Linux VR Desktop | 2021-06-23T05:27:48Z |
| 48 | real-world-haskell-cn | 1430 | 219 | Haskell | 24 | 《Real World Haskell》中文翻译项目 | 2021-03-29T17:05:22Z |
| 49 | erd | 1425 | 115 | Haskell | 18 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2021-06-08T16:34:00Z |
| 50 | haste-compiler | 1421 | 110 | Haskell | 62 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 51 | haskell | 1409 | 191 | Haskell | 33 | Haskell bindings for TensorFlow | 2021-02-09T17:08:46Z |
| 52 | yi | 1373 | 193 | Haskell | 217 | The Haskell-Scriptable Editor | 2020-11-20T06:23:22Z |
| 53 | grenade | 1354 | 81 | Haskell | 22 | Deep Learning in Haskell | 2021-03-15T15:42:14Z |
| 54 | Tidal | 1351 | 188 | Haskell | 115 | Pattern language | 2021-06-20T21:48:12Z |
| 55 | koka | 1350 | 78 | Haskell | 68 | Koka language compiler and interpreter | 2021-06-24T00:11:20Z |
| 56 | taskell | 1258 | 44 | Haskell | 37 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | 2021-04-30T21:23:47Z |
| 57 | cabal | 1257 | 555 | Haskell | 1503 | Official upstream development repository for Cabal and cabal-install | 2021-06-23T00:28:21Z |
| 58 | fay | 1255 | 86 | Haskell | 23 | A proper subset of Haskell that compiles to JavaScript | 2021-06-09T15:10:00Z |
| 59 | elm-format | 1248 | 135 | Haskell | 213 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 2021-06-08T19:29:57Z |
| 60 | haskell-trainings | 1222 | 94 | Haskell | 4 | Haskell 101 and 102: slides and codelabs | 2020-07-11T04:26:00Z |
| 61 | hlint | 1179 | 151 | Haskell | 187 | Haskell source code suggestions | 2021-06-21T21:33:45Z |
| 62 | codeworld | 1161 | 194 | Haskell | 283 | Educational computer programming environment using Haskell | 2021-04-18T17:49:05Z |
| 63 | neuron | 1136 | 138 | Haskell | 66 | Future-proof note-taking and publishing based on Zettelkasten | 2021-06-11T21:23:40Z |
| 64 | wasp | 1119 | 35 | Haskell | 76 | A programming language that understands what a web app is. | 2021-06-23T15:50:54Z |
| 65 | brick | 1112 | 129 | Haskell | 3 | A declarative Unix terminal UI programming library written in Haskell | 2021-06-13T15:32:49Z |
| 66 | aura | 1055 | 91 | Haskell | 27 | A secure, multilingual package manager for Arch Linux and the AUR. | 2021-06-22T03:13:21Z |
| 67 | articles | 1055 | 83 | Haskell | 4 | Miscellaneous articles. The readme is the table of contents. | 2021-06-08T10:47:44Z |
| 68 | intero | 1041 | 145 | Haskell | 30 | None | 2020-01-25T08:48:39Z |
| 69 | haskell-must-watch | 1029 | 58 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 70 | ImplicitCAD | 1018 | 134 | Haskell | 57 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation... | 2021-06-21T05:28:06Z |
| 71 | aeson | 1013 | 239 | Haskell | 67 | A fast Haskell JSON library | 2021-06-21T13:38:45Z |
| 72 | HaLVM | 1010 | 85 | Haskell | 37 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 73 | clash-compiler | 1009 | 106 | Haskell | 185 | Haskell to VHDL/Verilog/SystemVerilog compiler | 2021-06-23T16:01:31Z |
| 74 | kit | 988 | 29 | Haskell | 19 | (INACTIVE) Kit: a magical, high performance programming language, designed for game development. Pre-alpha! | 2019-11-18T14:45:01Z |
| 75 | dex-lang | 987 | 66 | Haskell | 119 | Research language for array processing in the Haskell/ML family | 2021-06-23T15:43:04Z |
| 76 | fp-course | 972 | 129 | Haskell | 17 | Functional Programming Course | 2020-08-10T04:04:14Z |
| 77 | cryptol | 961 | 99 | Haskell | 156 | Cryptol: The Language of Cryptography | 2021-06-23T23:31:27Z |
| 78 | toodles | 961 | 34 | Haskell | 15 | Project management directly from the TODOs in your codebase | 2021-06-09T17:48:45Z |
| 79 | ghcid | 957 | 94 | Haskell | 90 | Very low feature GHCi based IDE | 2021-06-10T12:04:12Z |
| 80 | leksah | 941 | 108 | Haskell | 227 | Haskell IDE | 2021-06-19T11:07:23Z |
| 81 | kitten | 930 | 36 | Haskell | 65 | A statically typed concatenative systems programming language. | 2020-11-03T20:04:33Z |
| 82 | reflex | 926 | 133 | Haskell | 78 | 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. | 2021-06-17T11:43:59Z |
| 83 | radicle-alpha | 922 | 33 | Haskell | 45 | A peer-to-peer stack for code collaboration | 2020-03-26T14:58:12Z |
| 84 | queryparser | 922 | 126 | Haskell | 21 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2020-01-06T05:26:51Z |
| 85 | kaleidoscope | 889 | 121 | Haskell | 9 | Haskell LLVM JIT Compiler Tutorial | 2020-04-21T09:09:58Z |
| 86 | gifcurry | 887 | 38 | Haskell | 24 | 😎 The open-source, Haskell-built video editor for GIF makers. | 2021-01-04T18:43:23Z |
| 87 | unused | 878 | 26 | Haskell | 1 | Deprecated; see https://github.com/unused-code/unused | 2020-05-28T02:48:16Z |
| 88 | liquidhaskell | 875 | 103 | Haskell | 381 | Liquid Types For Haskell | 2021-06-23T20:24:09Z |
| 89 | grin | 869 | 28 | Haskell | 24 | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | 2021-05-28T10:46:18Z |
| 90 | wstunnel | 864 | 91 | Haskell | 5 | Tunneling over websocket protocol - Static binary available | 2021-06-07T07:00:08Z |
| 91 | polysemy | 834 | 59 | Haskell | 72 | ♊ higher-order, no-boilerplate monads | 2021-06-02T22:00:32Z |
| 92 | matterhorn | 831 | 68 | Haskell | 55 | A feature-rich Unix terminal client for the Mattermost chat system | 2021-06-22T17:14:47Z |
| 93 | egison | 806 | 33 | Haskell | 17 | The Egison Programming Language | 2021-06-21T12:23:45Z |
| 94 | software-design-in-haskell | 805 | 47 | Haskell | 3 | Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. | 2021-06-05T16:35:57Z |
| 95 | Haskell-Turtle-Library | 795 | 86 | Haskell | 35 | Shell programming, Haskell style | 2021-04-01T21:48:41Z |
| 96 | neut | 784 | 6 | Haskell | 3 | A dependently-typed programming language with compile-time malloc/free determination | 2021-06-22T12:53:13Z |
| 97 | hasktorch | 779 | 82 | Haskell | 75 | Tensors and neural networks in Haskell | 2021-06-23T20:30:31Z |
| 98 | stylish-haskell | 778 | 121 | Haskell | 87 | Haskell code prettifier | 2021-04-26T17:44:59Z |
| 99 | elm-platform | 776 | 132 | Haskell | 9 | Bundle of all core development tools for Elm | 2018-08-22T20:51:38Z |
| 100 | accelerate | 769 | 96 | Haskell | 54 | Embedded language for high-performance array computations | 2021-06-21T09:19:39Z |