mirror of
https://github.com/EvanLi/Github-Ranking.git
synced 2026-11-04 15:00:06 +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 | 21266 | 1095 | Haskell | 599 | ShellCheck, a static analysis tool for shell scripts | 2020-09-09T02:30:23Z |
| 2 | pandoc | 20233 | 2460 | Haskell | 711 | Universal markup converter | 2020-09-09T19:06:32Z |
| 3 | graphql-engine | 18544 | 1541 | Haskell | 1214 | Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events. | 2020-09-10T02:29:39Z |
| 4 | postgrest | 14792 | 717 | Haskell | 111 | REST API for any Postgres database | 2020-09-10T00:08:17Z |
| 5 | semantic | 7746 | 413 | Haskell | 100 | Parsing, analyzing, and comparing source code across many languages | 2020-09-10T00:28:17Z |
| 6 | purescript | 6676 | 486 | Haskell | 265 | A strongly-typed language that compiles to JavaScript | 2020-09-09T18:03:58Z |
| 7 | compiler | 6105 | 527 | Haskell | 199 | Compiler for Elm, a functional language for reliable webapps. | 2020-08-17T01:00:04Z |
| 8 | penrose | 4614 | 223 | Haskell | 156 | Create beautiful diagrams just by typing mathematical notation in plain text. | 2020-09-10T02:30:34Z |
| 9 | hadolint | 4013 | 174 | Haskell | 94 | Dockerfile linter, validate inline bash, written in Haskell | 2020-08-16T09:27:22Z |
| 10 | Haxl | 3838 | 304 | Haskell | 10 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2020-09-09T14:46:33Z |
| 11 | Carp | 3580 | 132 | Haskell | 87 | A statically typed lisp, without a GC, for real-time applications. | 2020-08-26T18:58:13Z |
| 12 | stack | 3431 | 761 | Haskell | 760 | The Haskell Tool Stack | 2020-08-29T13:48:11Z |
| 13 | cardano-sl | 3423 | 583 | Haskell | 189 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-07-30T15:22:04Z |
| 14 | unison | 3386 | 161 | Haskell | 454 | A friendly programming language from the future | 2020-09-10T01:13:06Z |
| 15 | fp-course | 3347 | 1067 | Haskell | 13 | Functional Programming Course | 2020-09-08T09:49:21Z |
| 16 | Idris-dev | 3232 | 664 | Haskell | 700 | A Dependently Typed Functional Programming Language | 2020-08-28T08:39:02Z |
| 17 | duckling | 3047 | 564 | Haskell | 154 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2020-09-02T14:29:07Z |
| 18 | write-you-a-haskell | 2814 | 230 | Haskell | 24 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2019-10-20T17:29:31Z |
| 19 | Functional-Programming | 2583 | 161 | Haskell | 7 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06T22:00:55Z |
| 20 | haskell-ide-engine | 2451 | 232 | Haskell | 301 | The engine for haskell ide-integration. Not an IDE | 2020-08-05T11:18:24Z |
| 21 | eta | 2427 | 145 | Haskell | 241 | The Eta Programming Language, a dialect of Haskell on the JVM | 2019-11-30T21:26:00Z |
| 22 | ghc | 2399 | 627 | Haskell | 9 | 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-09-10T00:08:31Z |
| 23 | ghcjs | 2360 | 170 | Haskell | 275 | Haskell to JavaScript compiler, based on GHC | 2020-06-04T07:31:24Z |
| 24 | yesod | 2274 | 350 | Haskell | 92 | A RESTful Haskell web framework built on WAI. | 2020-08-09T16:34:30Z |
| 25 | hakyll | 2193 | 372 | Haskell | 122 | A static website compiler library in Haskell | 2020-08-30T12:12:40Z |
| 26 | wire-server | 2189 | 297 | Haskell | 53 | 🇪🇺 Wire back-end services | 2020-09-09T21:31:39Z |
| 27 | IHaskell | 2167 | 229 | Haskell | 34 | A Haskell kernel for IPython. | 2020-08-25T14:02:11Z |
| 28 | corrode | 2023 | 110 | Haskell | 79 | C to Rust translator | 2019-03-10T01:48:47Z |
| 29 | wiwinwlh | 1923 | 200 | Haskell | 5 | What I Wish I Knew When Learning Haskell | 2020-09-04T02:38:38Z |
| 30 | gitit | 1836 | 208 | Haskell | 204 | A wiki using HAppS, pandoc, and git | 2020-08-27T20:31:29Z |
| 31 | lens | 1666 | 232 | Haskell | 88 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 2020-08-09T11:38:01Z |
| 32 | miso | 1663 | 121 | Haskell | 24 | 🍜 A tasty Haskell front-end framework | 2020-09-05T14:26:52Z |
| 33 | lamdu | 1651 | 61 | Haskell | 4 | lamdu - towards the next generation IDE | 2020-04-24T17:55:06Z |
| 34 | HLearn | 1567 | 137 | Haskell | 24 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 35 | xmonad | 1544 | 191 | Haskell | 74 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2020-08-25T10:49:54Z |
| 36 | hledger | 1515 | 207 | Haskell | 297 | easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger | 2020-09-09T21:32:30Z |
| 37 | scotty | 1454 | 123 | Haskell | 46 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2020-05-25T16:13:25Z |
| 38 | zsh-git-prompt | 1423 | 343 | Haskell | 57 | Informative git prompt for zsh | 2020-09-05T05:09:22Z |
| 39 | asterius | 1403 | 46 | Haskell | 105 | A Haskell to WebAssembly compiler | 2020-09-09T14:58:06Z |
| 40 | servant | 1401 | 307 | Haskell | 213 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! | 2020-09-03T04:43:11Z |
| 41 | haste-compiler | 1396 | 109 | Haskell | 64 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 42 | patat | 1388 | 41 | Haskell | 9 | Terminal-based presentations using Pandoc | 2020-09-08T18:51:02Z |
| 43 | real-world-haskell-cn | 1349 | 208 | Haskell | 21 | 《Real World Haskell》中文翻译项目 | 2020-04-27T15:14:00Z |
| 44 | agda | 1342 | 171 | Haskell | 715 | Agda is a dependently typed programming language / interactive theorem prover. | 2020-09-09T19:00:54Z |
| 45 | haskell | 1339 | 180 | Haskell | 39 | Haskell bindings for TensorFlow | 2020-08-28T15:56:27Z |
| 46 | yi | 1333 | 193 | Haskell | 214 | The Haskell-Scriptable Editor | 2019-12-09T03:09:46Z |
| 47 | grenade | 1331 | 81 | Haskell | 22 | Deep Learning in Haskell | 2020-06-02T20:09:24Z |
| 48 | futhark | 1316 | 87 | Haskell | 32 | :boom::computer:💥 A data-parallel functional programming language | 2020-09-09T21:12:52Z |
| 49 | Simula | 1282 | 33 | Haskell | 8 | Linux VR Desktop | 2020-08-22T03:01:03Z |
| 50 | erd | 1251 | 105 | Haskell | 12 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2020-06-21T21:26:39Z |
| 51 | fay | 1228 | 86 | Haskell | 18 | A proper subset of Haskell that compiles to JavaScript | 2020-03-26T19:29:59Z |
| 52 | elm-format | 1208 | 132 | Haskell | 213 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 2020-09-01T02:49:26Z |
| 53 | Tidal | 1204 | 169 | Haskell | 89 | Pattern language | 2020-08-26T22:30:16Z |
| 54 | haskell-trainings | 1180 | 83 | Haskell | 4 | Haskell 101 and 102: slides and codelabs | 2020-07-11T04:26:00Z |
| 55 | cabal | 1174 | 514 | Haskell | 1401 | Official upstream development repository for Cabal and cabal-install | 2020-09-09T16:35:21Z |
| 56 | codeworld | 1114 | 186 | Haskell | 265 | Educational computer programming environment using Haskell | 2020-09-07T00:53:10Z |
| 57 | intero | 1046 | 145 | Haskell | 30 | None | 2020-01-25T08:48:39Z |
| 58 | articles | 1029 | 82 | Haskell | 3 | Miscellaneous articles. The readme is the table of contents. | 2020-05-22T10:13:15Z |
| 59 | hlint | 1026 | 131 | Haskell | 151 | Haskell source code suggestions | 2020-09-08T08:12:30Z |
| 60 | taskell | 1007 | 37 | Haskell | 27 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | 2020-08-10T15:29:42Z |
| 61 | HaLVM | 1001 | 87 | Haskell | 37 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 62 | haskell-must-watch | 998 | 57 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 63 | brick | 980 | 109 | Haskell | 7 | A declarative Unix terminal UI programming library written in Haskell | 2020-09-02T15:17:54Z |
| 64 | kit | 960 | 28 | Haskell | 15 | Kit: a magical, high performance programming language, designed for game development. Pre-alpha! | 2019-11-18T14:45:01Z |
| 65 | toodles | 953 | 33 | Haskell | 15 | Project management directly from the TODOs in your codebase | 2019-08-20T23:25:09Z |
| 66 | aeson | 949 | 226 | Haskell | 57 | A fast Haskell JSON library | 2020-09-04T07:43:05Z |
| 67 | fp-course | 946 | 132 | Haskell | 17 | Functional Programming Course | 2020-08-10T04:04:14Z |
| 68 | leksah | 929 | 109 | Haskell | 225 | Haskell IDE | 2020-08-02T16:01:34Z |
| 69 | aura | 910 | 79 | Haskell | 6 | A secure, multilingual package manager for Arch Linux and the AUR. | 2020-09-04T21:27:12Z |
| 70 | radicle-alpha | 906 | 33 | Haskell | 45 | A peer-to-peer stack for code collaboration | 2020-03-26T14:58:12Z |
| 71 | haskell-language-server | 901 | 66 | Haskell | 125 | Integration point for ghcide and haskell-ide-engine. One IDE to rule them all. | 2020-09-09T21:36:20Z |
| 72 | cryptol | 897 | 93 | Haskell | 116 | Cryptol: The Language of Cryptography | 2020-09-09T19:03:22Z |
| 73 | ihp | 896 | 43 | Haskell | 60 | λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix. | 2020-09-09T06:29:50Z |
| 74 | unused | 892 | 27 | Haskell | 1 | Deprecated; see https://github.com/unused-code/unused | 2020-05-28T02:48:16Z |
| 75 | clash-compiler | 887 | 95 | Haskell | 164 | Haskell to VHDL/Verilog/SystemVerilog compiler | 2020-09-09T20:09:01Z |
| 76 | reflex | 884 | 125 | 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. | 2020-08-27T18:40:30Z |
| 77 | ghcid | 883 | 89 | Haskell | 85 | Very low feature GHCi based IDE | 2020-08-12T11:15:48Z |
| 78 | ImplicitCAD | 881 | 123 | Haskell | 46 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... | 2020-08-16T17:58:51Z |
| 79 | queryparser | 853 | 108 | Haskell | 20 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2020-01-06T05:26:51Z |
| 80 | kaleidoscope | 831 | 113 | Haskell | 9 | Haskell LLVM JIT Compiler Tutorial | 2020-04-21T09:09:58Z |
| 81 | koka | 820 | 50 | Haskell | 59 | Koka language compiler and interpreter | 2020-09-10T02:40:39Z |
| 82 | kitten | 819 | 33 | Haskell | 64 | A statically typed concatenative systems programming language. | 2019-10-27T19:06:21Z |
| 83 | liquidhaskell | 784 | 101 | Haskell | 355 | Liquid Types For Haskell | 2020-09-08T15:23:13Z |
| 84 | elm-platform | 780 | 129 | Haskell | 9 | Bundle of all core development tools for Elm | 2018-08-22T20:51:38Z |
| 85 | Haskell-Turtle-Library | 775 | 83 | Haskell | 34 | Shell programming, Haskell style | 2020-08-15T05:54:04Z |
| 86 | neut | 767 | 5 | Haskell | 3 | A dependently-typed programming language with compile-time malloc/free determination | 2020-06-18T06:38:52Z |
| 87 | grin | 758 | 24 | Haskell | 23 | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | 2020-09-08T14:47:18Z |
| 88 | egison | 753 | 31 | Haskell | 19 | The Egison Programming Language | 2020-09-09T13:01:03Z |
| 89 | matterhorn | 747 | 52 | Haskell | 52 | A feature-rich Unix terminal client for the Mattermost chat system | 2020-09-03T13:58:19Z |
| 90 | polysemy | 745 | 52 | Haskell | 65 | ♊ higher-order, no-boilerplate monads | 2020-09-08T13:00:43Z |
| 91 | oden | 739 | 26 | Haskell | 15 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) | 2017-04-11T12:26:50Z |
| 92 | conduit | 715 | 172 | Haskell | 30 | A streaming data library | 2020-09-09T07:53:51Z |
| 93 | accelerate | 714 | 92 | Haskell | 45 | Embedded language for high-performance array computations | 2020-09-09T16:32:22Z |
| 94 | stylish-haskell | 714 | 107 | Haskell | 91 | Haskell code prettifier | 2020-08-31T13:34:04Z |
| 95 | bench | 700 | 17 | Haskell | 8 | Command-line benchmark tool | 2020-08-16T15:18:42Z |
| 96 | LtuPatternFactory | 697 | 35 | Haskell | 6 | Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns | 2020-04-25T19:01:51Z |
| 97 | dnngraph | 692 | 57 | Haskell | 8 | A DSL for deep neural networks, supporting Caffe and Torch | 2015-12-07T04:39:34Z |
| 98 | ghc-mod | 691 | 187 | Haskell | 115 | Happy Haskell Hacking for editors. DEPRECATED | 2019-06-17T17:22:20Z |
| 99 | cgrep | 687 | 38 | Haskell | 1 | Cgrep: a context-aware grep for source codes | 2020-03-08T10:43:21Z |
| 100 | gifcurry | 683 | 31 | Haskell | 12 | 😎 The open-source, Haskell-built video editor for GIF makers. | 2020-08-26T01:49:53Z |