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 | 25320 | 1280 | Haskell | 711 | ShellCheck, a static analysis tool for shell scripts | 2021-07-02T16:55:18Z |
| 2 | graphql-engine | 23441 | 1939 | Haskell | 1520 | Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. | 2021-07-09T15:55:00Z |
| 3 | pandoc | 22942 | 2695 | Haskell | 742 | Universal markup converter | 2021-07-09T21:15:12Z |
| 4 | postgrest | 17229 | 791 | Haskell | 148 | REST API for any Postgres database | 2021-07-09T20:28:30Z |
| 5 | semantic | 8072 | 459 | Haskell | 108 | Parsing, analyzing, and comparing source code across many languages | 2021-06-25T23:54:55Z |
| 6 | purescript | 7203 | 521 | Haskell | 281 | A strongly-typed language that compiles to JavaScript | 2021-07-10T01:04:32Z |
| 7 | compiler | 6483 | 571 | Haskell | 237 | Compiler for Elm, a functional language for reliable webapps. | 2021-04-13T01:28:11Z |
| 8 | hadolint | 5570 | 240 | Haskell | 77 | Dockerfile linter, validate inline bash, written in Haskell | 2021-07-05T09:21:27Z |
| 9 | Carp | 3981 | 145 | Haskell | 77 | A statically typed lisp, without a GC, for real-time applications. | 2021-07-09T18:45:23Z |
| 10 | unison | 3950 | 190 | Haskell | 614 | A friendly programming language from the future | 2021-07-09T21:34:39Z |
| 11 | Haxl | 3943 | 307 | Haskell | 6 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2021-06-09T11:31:41Z |
| 12 | fp-course | 3679 | 1129 | Haskell | 16 | Functional Programming Course | 2021-07-02T08:45:31Z |
| 13 | cardano-sl | 3634 | 607 | Haskell | 188 | Cryptographic currency implementing Ouroboros PoS protocol | 2020-07-30T15:22:04Z |
| 14 | stack | 3566 | 793 | Haskell | 841 | The Haskell Tool Stack | 2021-07-08T09:54:46Z |
| 15 | duckling | 3332 | 631 | Haskell | 71 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2021-07-08T14:17:12Z |
| 16 | Idris-dev | 3304 | 659 | Haskell | 706 | A Dependently Typed Functional Programming Language | 2021-06-26T18:47:43Z |
| 17 | write-you-a-haskell | 2988 | 239 | Haskell | 28 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2021-01-11T13:56:03Z |
| 18 | Functional-Programming | 2603 | 157 | Haskell | 7 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2019-08-06T22:00:55Z |
| 19 | ghc | 2542 | 650 | 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-07-09T20:29:48Z |
| 20 | eta | 2483 | 148 | Haskell | 242 | The Eta Programming Language, a dialect of Haskell on the JVM | 2019-11-30T21:26:00Z |
| 21 | ghcjs | 2443 | 175 | Haskell | 282 | Haskell to JavaScript compiler, based on GHC | 2021-06-29T12:58:14Z |
| 22 | haskell-ide-engine | 2438 | 228 | Haskell | 302 | The engine for haskell ide-integration. Not an IDE | 2020-12-23T06:21:46Z |
| 23 | awesome-haskell | 2428 | 152 | Haskell | 12 | A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. | 2021-03-31T08:55:57Z |
| 24 | yesod | 2366 | 359 | Haskell | 87 | A RESTful Haskell web framework built on WAI. | 2021-07-08T09:56:04Z |
| 25 | wire-server | 2320 | 311 | Haskell | 91 | 🇪🇺 Wire back-end services | 2021-07-09T20:27:28Z |
| 26 | hakyll | 2312 | 393 | Haskell | 118 | A static website compiler library in Haskell | 2021-07-06T13:33:23Z |
| 27 | IHaskell | 2268 | 236 | Haskell | 43 | A Haskell kernel for IPython. | 2021-07-08T10:08:53Z |
| 28 | wiwinwlh | 2151 | 221 | Haskell | 3 | What I Wish I Knew When Learning Haskell | 2021-06-29T15:20:10Z |
| 29 | corrode | 2056 | 108 | Haskell | 80 | C to Rust translator | 2019-03-10T01:48:47Z |
| 30 | ihp | 2018 | 104 | Haskell | 130 | 🔥 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-07-09T22:08:05Z |
| 31 | gitit | 1936 | 206 | Haskell | 208 | A wiki using HAppS, pandoc, and git | 2021-04-02T23:56:41Z |
| 32 | xmonad | 1923 | 224 | Haskell | 82 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2021-07-03T07:10:02Z |
| 33 | miso | 1833 | 132 | Haskell | 36 | 🍜 A tasty Haskell front-end framework | 2021-05-02T00:47:06Z |
| 34 | lens | 1779 | 239 | Haskell | 89 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 2021-05-28T10:45:14Z |
| 35 | hledger | 1775 | 233 | Haskell | 336 | easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger | 2021-07-09T07:35:26Z |
| 36 | cardano-node | 1710 | 308 | Haskell | 287 | The core component that is used to participate in a Cardano decentralised blockchain. | 2021-07-10T01:38:53Z |
| 37 | asterius | 1690 | 53 | Haskell | 114 | A Haskell to WebAssembly compiler | 2021-07-06T11:26:44Z |
| 38 | lamdu | 1689 | 65 | Haskell | 6 | lamdu - towards the next generation IDE | 2021-07-03T11:14:26Z |
| 39 | patat | 1619 | 45 | Haskell | 17 | Terminal-based presentations using Pandoc | 2021-03-12T18:46:51Z |
| 40 | haskell-language-server | 1599 | 154 | Haskell | 380 | Successor of ghcide & haskell-ide-engine. One IDE to rule them all. | 2021-07-09T14:34:21Z |
| 41 | HLearn | 1577 | 135 | Haskell | 24 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 42 | agda | 1539 | 193 | Haskell | 742 | Agda is a dependently typed programming language / interactive theorem prover. | 2021-07-09T15:25:46Z |
| 43 | zsh-git-prompt | 1512 | 368 | Haskell | 59 | Informative git prompt for zsh | 2021-06-11T15:08:06Z |
| 44 | futhark | 1505 | 97 | Haskell | 51 | :boom::computer:💥 A data-parallel functional programming language | 2021-07-10T00:35:38Z |
| 45 | scotty | 1504 | 125 | Haskell | 48 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2021-06-08T00:21:03Z |
| 46 | koka | 1499 | 80 | Haskell | 69 | Koka language compiler and interpreter | 2021-07-09T21:00:42Z |
| 47 | servant | 1496 | 334 | Haskell | 242 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! | 2021-07-06T11:47:45Z |
| 48 | Simula | 1474 | 40 | Haskell | 18 | Linux VR Desktop | 2021-07-09T17:36:29Z |
| 49 | real-world-haskell-cn | 1433 | 218 | Haskell | 24 | 《Real World Haskell》中文翻译项目 | 2021-03-29T17:05:22Z |
| 50 | erd | 1432 | 116 | Haskell | 20 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2021-07-09T21:22:17Z |
| 51 | haste-compiler | 1422 | 110 | Haskell | 62 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 52 | haskell | 1412 | 192 | Haskell | 33 | Haskell bindings for TensorFlow | 2021-02-09T17:08:46Z |
| 53 | yi | 1375 | 193 | Haskell | 217 | The Haskell-Scriptable Editor | 2020-11-20T06:23:22Z |
| 54 | Tidal | 1362 | 189 | Haskell | 115 | Pattern language | 2021-06-20T21:48:12Z |
| 55 | grenade | 1356 | 81 | Haskell | 22 | Deep Learning in Haskell | 2021-03-15T15:42:14Z |
| 56 | taskell | 1262 | 45 | Haskell | 37 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects | 2021-04-30T21:23:47Z |
| 57 | cabal | 1259 | 558 | Haskell | 1510 | Official upstream development repository for Cabal and cabal-install | 2021-07-10T00:58:27Z |
| 58 | fay | 1256 | 86 | Haskell | 23 | A proper subset of Haskell that compiles to JavaScript | 2021-06-09T15:10:00Z |
| 59 | elm-format | 1250 | 135 | Haskell | 215 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 2021-07-09T19:17:17Z |
| 60 | haskell-trainings | 1223 | 94 | Haskell | 4 | Haskell 101 and 102: slides and codelabs | 2020-07-11T04:26:00Z |
| 61 | hlint | 1182 | 153 | Haskell | 189 | Haskell source code suggestions | 2021-07-03T21:04:54Z |
| 62 | neuron | 1165 | 144 | Haskell | 66 | Future-proof note-taking and publishing based on Zettelkasten | 2021-07-07T14:28:41Z |
| 63 | codeworld | 1160 | 194 | Haskell | 283 | Educational computer programming environment using Haskell | 2021-07-09T12:19:31Z |
| 64 | wasp | 1130 | 36 | Haskell | 91 | A programming language that understands what a web app is. | 2021-07-09T11:10:55Z |
| 65 | brick | 1115 | 129 | Haskell | 2 | A declarative Unix terminal UI programming library written in Haskell | 2021-06-29T15:15:02Z |
| 66 | aura | 1061 | 90 | Haskell | 28 | A secure, multilingual package manager for Arch Linux and the AUR. | 2021-07-04T16:28:46Z |
| 67 | articles | 1059 | 83 | Haskell | 4 | Miscellaneous articles. The readme is the table of contents. | 2021-06-08T10:47:44Z |
| 68 | intero | 1040 | 145 | Haskell | 30 | None | 2020-01-25T08:48:39Z |
| 69 | haskell-must-watch | 1033 | 58 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 70 | ImplicitCAD | 1026 | 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 | 1016 | 241 | Haskell | 68 | A fast Haskell JSON library | 2021-07-05T21:26:30Z |
| 72 | clash-compiler | 1014 | 106 | Haskell | 190 | Haskell to VHDL/Verilog/SystemVerilog compiler | 2021-07-09T14:37:58Z |
| 73 | HaLVM | 1010 | 85 | Haskell | 37 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 74 | dex-lang | 997 | 66 | Haskell | 125 | Research language for array processing in the Haskell/ML family | 2021-07-09T14:55:58Z |
| 75 | kit | 988 | 29 | Haskell | 20 | (INACTIVE) Kit: a magical, high performance programming language, designed for game development. Pre-alpha! | 2021-06-28T02:40:25Z |
| 76 | fp-course | 974 | 129 | Haskell | 17 | Functional Programming Course | 2020-08-10T04:04:14Z |
| 77 | cryptol | 961 | 103 | Haskell | 160 | Cryptol: The Language of Cryptography | 2021-07-09T18:04:09Z |
| 78 | toodles | 961 | 34 | Haskell | 15 | Project management directly from the TODOs in your codebase | 2021-06-09T17:48:45Z |
| 79 | ghcid | 959 | 94 | Haskell | 90 | Very low feature GHCi based IDE | 2021-07-03T21:05:06Z |
| 80 | leksah | 941 | 108 | Haskell | 227 | Haskell IDE | 2021-06-19T11:07:23Z |
| 81 | kitten | 931 | 36 | Haskell | 65 | A statically typed concatenative systems programming language. | 2020-11-03T20:04:33Z |
| 82 | reflex | 929 | 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 | queryparser | 923 | 127 | Haskell | 21 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2020-01-06T05:26:51Z |
| 84 | radicle-alpha | 920 | 33 | Haskell | 45 | A peer-to-peer stack for code collaboration | 2020-03-26T14:58:12Z |
| 85 | kaleidoscope | 894 | 122 | Haskell | 9 | Haskell LLVM JIT Compiler Tutorial | 2020-04-21T09:09:58Z |
| 86 | gifcurry | 893 | 41 | Haskell | 25 | 😎 The open-source, Haskell-built video editor for GIF makers. | 2021-07-06T02:20:37Z |
| 87 | liquidhaskell | 882 | 104 | Haskell | 388 | Liquid Types For Haskell | 2021-07-09T16:27:52Z |
| 88 | wstunnel | 881 | 91 | Haskell | 8 | Tunneling over websocket protocol - Static binary available | 2021-06-07T07:00:08Z |
| 89 | unused | 877 | 26 | Haskell | 1 | Deprecated; see https://github.com/unused-code/unused | 2020-05-28T02:48:16Z |
| 90 | grin | 871 | 28 | Haskell | 24 | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | 2021-07-01T07:01:44Z |
| 91 | polysemy | 839 | 59 | Haskell | 71 | ♊ higher-order, no-boilerplate monads | 2021-07-08T15:44:02Z |
| 92 | matterhorn | 835 | 68 | Haskell | 56 | A feature-rich Unix terminal client for the Mattermost chat system | 2021-06-29T15:09:55Z |
| 93 | software-design-in-haskell | 812 | 48 | Haskell | 3 | Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. | 2021-06-05T16:35:57Z |
| 94 | egison | 807 | 33 | Haskell | 17 | The Egison Programming Language | 2021-06-21T12:23:45Z |
| 95 | Haskell-Turtle-Library | 800 | 86 | Haskell | 35 | Shell programming, Haskell style | 2021-04-01T21:48:41Z |
| 96 | hasktorch | 786 | 82 | Haskell | 71 | Tensors and neural networks in Haskell | 2021-07-09T22:06:14Z |
| 97 | neut | 782 | 7 | Haskell | 3 | A dependently-typed programming language with compile-time malloc/free determination | 2021-06-22T12:53:13Z |
| 98 | stylish-haskell | 779 | 121 | Haskell | 88 | Haskell code prettifier | 2021-04-26T17:44:59Z |
| 99 | elm-platform | 775 | 132 | Haskell | 9 | Bundle of all core development tools for Elm | 2018-08-22T20:51:38Z |
| 100 | accelerate | 769 | 96 | Haskell | 53 | Embedded language for high-performance array computations | 2021-07-06T11:30:18Z |