mirror of
https://github.com/EvanLi/Github-Ranking.git
synced 2026-11-06 16:31:49 +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 | 20160 | 1020 | Haskell | 576 | ShellCheck, a static analysis tool for shell scripts | 2020-05-26T06:25:56Z |
| 2 | pandoc | 19306 | 2304 | Haskell | 629 | Universal markup converter | 2020-05-30T19:11:06Z |
| 3 | postgrest | 14457 | 686 | Haskell | 103 | REST API for any Postgres database | 2020-05-28T17:45:15Z |
| 4 | semantic | 7531 | 378 | Haskell | 119 | Parsing, analyzing, and comparing source code across many languages | 2020-05-28T22:32:15Z |
| 5 | purescript | 6515 | 480 | Haskell | 256 | A strongly-typed language that compiles to JavaScript | 2020-05-31T18:57:45Z |
| 6 | compiler | 5975 | 510 | Haskell | 185 | Compiler for Elm, a functional language for reliable webapps. | 2020-05-19T18:47:35Z |
| 7 | Haxl | 3783 | 303 | Haskell | 7 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2020-05-14T17:34:51Z |
| 8 | hadolint | 3684 | 158 | Haskell | 73 | Dockerfile linter, validate inline bash, written in Haskell | 2020-05-13T14:39:40Z |
| 9 | Carp | 3500 | 129 | Haskell | 77 | A statically typed lisp, without a GC, for real-time applications. | 2020-05-30T20:39:07Z |
| 10 | luna | 3478 | 106 | Haskell | 89 | Looking for Luna, the WYSIWYG language for data processing? Development has moved 👉 | 2020-04-06T15:59:00Z |
| 11 | cardano-sl | 3401 | 583 | Haskell | 190 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-04-24T00:01:49Z |
| 12 | stack | 3397 | 763 | Haskell | 725 | The Haskell Tool Stack | 2020-05-28T21:36:31Z |
| 13 | unison | 3255 | 154 | Haskell | 430 | A friendly programming language from the future | 2020-06-01T06:09:56Z |
| 14 | fp-course | 3252 | 1057 | Haskell | 12 | Functional Programming Course | 2020-05-24T20:40:34Z |
| 15 | Idris-dev | 3192 | 665 | Haskell | 694 | A Dependently Typed Functional Programming Language | 2020-05-25T16:44:50Z |
| 16 | duckling | 2936 | 535 | Haskell | 135 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2020-05-29T21:26:51Z |
| 17 | write-you-a-haskell | 2757 | 223 | Haskell | 21 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2019-10-20T17:29:31Z |
| 18 | Functional-Programming | 2577 | 161 | Haskell | 7 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06T22:00:55Z |
| 19 | eta | 2408 | 148 | Haskell | 241 | The Eta Programming Language, a dialect of Haskell on the JVM | 2019-11-30T21:26:00Z |
| 20 | haskell-ide-engine | 2370 | 228 | Haskell | 290 | The engine for haskell ide-integration. Not an IDE | 2020-05-23T13:54:49Z |
| 21 | ghc | 2361 | 622 | 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). | 2020-05-31T22:03:33Z |
| 22 | ghcjs | 2315 | 171 | Haskell | 272 | Haskell to JavaScript compiler, based on GHC | 2020-05-30T00:47:33Z |
| 23 | yesod | 2237 | 347 | Haskell | 90 | A RESTful Haskell web framework built on WAI. | 2020-05-31T20:56:17Z |
| 24 | hakyll | 2156 | 369 | Haskell | 114 | A static website compiler library in Haskell | 2020-05-30T12:14:22Z |
| 25 | wire-server | 2143 | 287 | Haskell | 52 | 🇪🇺 Wire back-end services | 2020-05-29T15:40:01Z |
| 26 | IHaskell | 2122 | 226 | Haskell | 32 | A Haskell kernel for IPython. | 2020-05-30T21:06:28Z |
| 27 | penrose | 2040 | 42 | Haskell | 130 | Create beautiful diagrams just by typing mathematical notation in plain text. | 2020-05-29T20:47:27Z |
| 28 | corrode | 2015 | 111 | Haskell | 81 | C to Rust translator | 2019-03-10T01:48:47Z |
| 29 | wiwinwlh | 1831 | 191 | Haskell | 3 | What I Wish I Knew When Learning Haskell | 2020-05-24T12:59:51Z |
| 30 | gitit | 1784 | 202 | Haskell | 205 | A wiki using HAppS, pandoc, and git | 2020-05-02T05:55:35Z |
| 31 | lamdu | 1639 | 62 | Haskell | 4 | lamdu - towards the next generation IDE | 2020-04-24T17:55:06Z |
| 32 | lens | 1637 | 229 | Haskell | 82 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 2020-05-25T12:46:30Z |
| 33 | miso | 1616 | 116 | Haskell | 18 | 🍜 A tasty Haskell front-end framework | 2020-05-26T06:44:57Z |
| 34 | HLearn | 1557 | 136 | Haskell | 24 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 35 | xmonad | 1451 | 180 | Haskell | 75 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2020-05-29T21:12:42Z |
| 36 | scotty | 1433 | 120 | Haskell | 45 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2020-05-25T16:13:25Z |
| 37 | hledger | 1432 | 199 | Haskell | 282 | easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger | 2020-05-31T22:50:55Z |
| 38 | haste-compiler | 1388 | 110 | Haskell | 63 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 39 | zsh-git-prompt | 1383 | 336 | Haskell | 56 | Informative git prompt for zsh | 2020-01-24T05:57:56Z |
| 40 | servant | 1359 | 294 | Haskell | 209 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! | 2020-05-31T08:47:29Z |
| 41 | patat | 1351 | 41 | Haskell | 9 | Terminal-based presentations using Pandoc | 2020-02-15T11:36:24Z |
| 42 | yi | 1324 | 190 | Haskell | 213 | The Haskell-Scriptable Editor | 2019-12-09T03:09:46Z |
| 43 | real-world-haskell-cn | 1319 | 206 | Haskell | 21 | 《Real World Haskell》中文翻译项目 | 2020-04-27T15:14:00Z |
| 44 | grenade | 1310 | 78 | Haskell | 22 | Deep Learning in Haskell | 2020-05-18T14:24:07Z |
| 45 | haskell | 1306 | 173 | Haskell | 35 | Haskell bindings for TensorFlow | 2020-05-21T20:36:53Z |
| 46 | asterius | 1255 | 41 | Haskell | 88 | A Haskell to WebAssembly compiler | 2020-06-01T07:59:11Z |
| 47 | futhark | 1241 | 82 | Haskell | 26 | :boom::computer:💥 A data-parallel functional programming language | 2020-06-01T11:00:30Z |
| 48 | agda | 1238 | 157 | Haskell | 663 | Agda is a dependently typed programming language / interactive theorem prover. | 2020-06-01T09:50:11Z |
| 49 | fay | 1223 | 86 | Haskell | 18 | A proper subset of Haskell that compiles to JavaScript | 2020-03-26T19:29:59Z |
| 50 | erd | 1211 | 104 | Haskell | 15 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2020-02-02T12:04:35Z |
| 51 | elm-format | 1193 | 131 | Haskell | 207 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 2020-05-26T06:52:26Z |
| 52 | Simula | 1168 | 32 | Haskell | 8 | Linux VR Desktop | 2020-05-24T00:16:38Z |
| 53 | haskell-trainings | 1159 | 82 | Haskell | 5 | Haskell 101 and 102: slides and codelabs | 2019-11-25T19:49:53Z |
| 54 | Tidal | 1152 | 166 | Haskell | 93 | Pattern language | 2020-05-26T13:27:26Z |
| 55 | cabal | 1142 | 506 | Haskell | 1423 | Official upstream development repository for Cabal and cabal-install | 2020-06-01T09:38:58Z |
| 56 | codeworld | 1085 | 178 | Haskell | 258 | Educational computer programming environment using Haskell | 2020-05-31T20:30:12Z |
| 57 | intero | 1050 | 145 | Haskell | 30 | None | 2020-01-25T08:48:39Z |
| 58 | articles | 1025 | 80 | Haskell | 2 | Miscellaneous articles. The readme is the table of contents. | 2020-05-22T10:13:15Z |
| 59 | HaLVM | 997 | 87 | Haskell | 37 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 60 | haskell-must-watch | 993 | 58 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 61 | hlint | 982 | 122 | Haskell | 148 | Haskell source code suggestions | 2020-06-01T03:47:33Z |
| 62 | toodles | 951 | 34 | Haskell | 15 | Project management directly from the TODOs in your codebase | 2019-08-20T23:25:09Z |
| 63 | kit | 946 | 26 | Haskell | 14 | Kit: a magical, high performance programming language, designed for game development. Pre-alpha! | 2019-11-18T14:45:01Z |
| 64 | taskell | 943 | 34 | Haskell | 22 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | 2020-04-06T15:57:06Z |
| 65 | fp-course | 936 | 125 | Haskell | 16 | Functional Programming Course | 2020-06-01T06:14:57Z |
| 66 | aeson | 935 | 220 | Haskell | 69 | A fast Haskell JSON library | 2020-05-29T09:37:37Z |
| 67 | leksah | 915 | 109 | Haskell | 223 | Haskell IDE | 2020-03-22T08:23:28Z |
| 68 | brick | 913 | 107 | Haskell | 2 | A declarative Unix terminal UI programming library written in Haskell | 2020-05-25T21:58:46Z |
| 69 | unused | 905 | 27 | Haskell | 0 | Deprecated; see https://github.com/unused-code/unused | 2020-05-28T02:48:16Z |
| 70 | radicle | 903 | 33 | Haskell | 45 | A peer-to-peer stack for code collaboration | 2020-03-26T14:58:12Z |
| 71 | cryptol | 866 | 90 | Haskell | 111 | Cryptol: The Language of Cryptography | 2020-05-29T22:41:32Z |
| 72 | reflex | 866 | 123 | Haskell | 73 | Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications. | 2020-05-29T21:05:06Z |
| 73 | aura | 855 | 79 | Haskell | 4 | A secure, multilingual package manager for Arch Linux and the AUR. | 2020-05-28T17:30:20Z |
| 74 | clash-compiler | 854 | 91 | Haskell | 155 | Haskell to VHDL/Verilog/SystemVerilog compiler | 2020-05-31T13:52:12Z |
| 75 | ImplicitCAD | 852 | 121 | Haskell | 41 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... | 2020-05-02T09:45:44Z |
| 76 | ghcid | 834 | 87 | Haskell | 80 | Very low feature GHCi based IDE | 2020-05-17T21:52:07Z |
| 77 | queryparser | 819 | 102 | Haskell | 20 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2020-01-06T05:26:51Z |
| 78 | kaleidoscope | 817 | 113 | Haskell | 9 | Haskell LLVM JIT Compiler Tutorial | 2020-04-21T09:09:58Z |
| 79 | kitten | 796 | 32 | Haskell | 63 | A statically typed concatenative systems programming language. | 2019-10-27T19:06:21Z |
| 80 | koka | 782 | 46 | Haskell | 56 | Koka language compiler and interpreter | 2020-06-01T07:44:16Z |
| 81 | elm-platform | 780 | 130 | Haskell | 9 | Bundle of all core development tools for Elm | 2018-08-22T20:51:38Z |
| 82 | Haskell-Turtle-Library | 765 | 82 | Haskell | 34 | Shell programming, Haskell style | 2020-05-06T01:07:28Z |
| 83 | liquidhaskell | 761 | 100 | Haskell | 342 | Liquid Types For Haskell | 2020-06-01T07:28:03Z |
| 84 | egison | 739 | 31 | Haskell | 29 | The Egison Programming Language | 2020-05-22T04:13:49Z |
| 85 | oden | 736 | 25 | Haskell | 15 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) | 2017-04-11T12:26:50Z |
| 86 | neut | 713 | 5 | Haskell | 0 | A dependently-typed programming language with compile-time malloc/free determination | 2020-05-27T08:45:04Z |
| 87 | matterhorn | 710 | 48 | Haskell | 41 | A feature-rich Unix terminal client for the Mattermost chat system | 2020-05-29T16:41:34Z |
| 88 | conduit | 710 | 168 | Haskell | 30 | A streaming data library | 2020-05-22T06:12:58Z |
| 89 | polysemy | 695 | 46 | Haskell | 55 | ♊ higher-order, no-boilerplate, zero-cost monads | 2020-05-01T19:42:34Z |
| 90 | grin | 693 | 24 | Haskell | 27 | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | 2020-05-28T20:12:31Z |
| 91 | ghc-mod | 691 | 190 | Haskell | 115 | Happy Haskell Hacking for editors. DEPRECATED | 2019-06-17T17:22:20Z |
| 92 | dnngraph | 691 | 56 | Haskell | 8 | A DSL for deep neural networks, supporting Caffe and Torch | 2015-12-07T04:39:34Z |
| 93 | accelerate | 689 | 91 | Haskell | 62 | Embedded language for high-performance array computations | 2020-05-25T11:11:51Z |
| 94 | cgrep | 683 | 38 | Haskell | 1 | Cgrep: a context-aware grep for source codes | 2020-03-08T10:43:21Z |
| 95 | stylish-haskell | 683 | 103 | Haskell | 81 | Haskell code prettifier | 2020-04-13T06:18:42Z |
| 96 | LtuPatternFactory | 676 | 34 | Haskell | 6 | Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns | 2020-04-25T19:01:51Z |
| 97 | bench | 669 | 18 | Haskell | 8 | Command-line benchmark tool | 2019-12-10T16:37:42Z |
| 98 | haskell-language-server | 649 | 29 | Haskell | 32 | Integration point for ghcide and haskell-ide-engine. One IDE to rule them all. | 2020-05-30T17:07:54Z |
| 99 | optparse-applicative | 646 | 84 | Haskell | 34 | Applicative option parser | 2020-05-25T11:09:21Z |
| 100 | detexify-hs-backend | 644 | 41 | Haskell | 1 | Detexify Backend written in Haskell | 2016-12-26T21:00:50Z |