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 | pandoc | 14039 | 1579 | Haskell | 507 | Universal markup converter | 2019-01-05T12:12:03Z |
| 2 | shellcheck | 13267 | 671 | Haskell | 384 | ShellCheck, a static analysis tool for shell scripts | 2019-01-05T19:44:03Z |
| 3 | postgrest | 11658 | 524 | Haskell | 93 | REST API for any Postgres database | 2018-12-13T04:31:27Z |
| 4 | purescript | 5386 | 403 | Haskell | 231 | A strongly-typed language that compiles to Javascript | 2019-01-05T18:52:29Z |
| 5 | compiler | 4957 | 392 | Haskell | 107 | Compiler for Elm, a functional language for reliable webapps. | 2019-01-03T22:37:49Z |
| 6 | Haxl | 3419 | 277 | Haskell | 6 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2018-12-07T00:26:22Z |
| 7 | cardano-sl | 3124 | 531 | Haskell | 163 | Cryptographic currency implementing Ouroboros PoS protocol | 2019-01-04T19:22:40Z |
| 8 | stack | 2952 | 665 | Haskell | 829 | The Haskell Tool Stack | 2019-01-04T17:08:12Z |
| 9 | luna | 2698 | 68 | Haskell | 83 | Hybrid textual and visual functional programming. | 2019-01-03T14:04:19Z |
| 10 | Idris-dev | 2679 | 601 | Haskell | 611 | A Dependently Typed Functional Programming Language | 2018-12-27T17:34:43Z |
| 11 | Carp | 2494 | 92 | Haskell | 27 | A statically typed lisp, without a GC, for real-time applications. | 2018-12-20T13:32:05Z |
| 12 | Functional-Programming | 2416 | 137 | Haskell | 6 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2018-12-08T12:33:12Z |
| 13 | write-you-a-haskell | 2293 | 189 | Haskell | 15 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2017-10-15T22:48:41Z |
| 14 | eta | 2126 | 140 | Haskell | 227 | The Eta Programming Language, a dialect of Haskell on the JVM | 2019-01-04T08:34:29Z |
| 15 | duckling | 2069 | 317 | Haskell | 38 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2019-01-03T16:30:23Z |
| 16 | ghcjs | 2069 | 153 | Haskell | 239 | Haskell to JavaScript compiler, based on GHC | 2019-01-05T23:00:48Z |
| 17 | ghc | 2034 | 582 | Haskell | 11 | Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request. | 2019-01-06T02:29:26Z |
| 18 | yesod | 2023 | 324 | Haskell | 116 | A RESTful Haskell web framework built on WAI. | 2018-12-28T05:11:13Z |
| 19 | corrode | 1896 | 100 | Haskell | 80 | C to Rust translator | 2018-05-28T16:16:24Z |
| 20 | hakyll | 1876 | 331 | Haskell | 97 | A static website compiler library in Haskell | 2019-01-04T23:57:53Z |
| 21 | wire-server | 1817 | 217 | Haskell | 17 | 🇪🇺 Wire back-end services | 2018-12-29T11:26:51Z |
| 22 | gitit | 1614 | 181 | Haskell | 186 | A wiki using HAppS, pandoc, and git | 2018-12-31T23:00:25Z |
| 23 | unison | 1541 | 56 | Haskell | 15 | Next generation programming language, currently in development | 2019-01-03T22:56:53Z |
| 24 | lamdu | 1505 | 58 | Haskell | 4 | lamdu - towards the next generation IDE | 2019-01-04T20:04:27Z |
| 25 | hadolint | 1504 | 69 | Haskell | 29 | Dockerfile linter, validate inline bash, written in Haskell | 2018-11-02T17:50:58Z |
| 26 | HLearn | 1453 | 133 | Haskell | 25 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 27 | lens | 1403 | 210 | Haskell | 72 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 2018-12-15T17:08:45Z |
| 28 | wiwinwlh | 1395 | 167 | Haskell | 3 | What I Wish I Knew When Learning Haskell | 2019-01-02T16:51:59Z |
| 29 | haskell-ide-engine | 1390 | 150 | Haskell | 168 | The engine for haskell ide-integration. Not an IDE | 2019-01-05T13:22:15Z |
| 30 | haste-compiler | 1318 | 105 | Haskell | 59 | A GHC-based Haskell to JavaScript compiler | 2017-09-15T11:58:50Z |
| 31 | scotty | 1287 | 117 | Haskell | 53 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2018-12-10T12:03:40Z |
| 32 | yi | 1246 | 177 | Haskell | 205 | The Haskell-Scriptable Editor | 2018-11-27T04:01:48Z |
| 33 | fay | 1174 | 90 | Haskell | 19 | A proper subset of Haskell that compiles to JavaScript | 2018-12-09T16:55:06Z |
| 34 | miso | 1169 | 77 | Haskell | 31 | 🍜 A tasty Haskell front-end framework | 2019-01-02T17:59:24Z |
| 35 | zsh-git-prompt | 1169 | 293 | Haskell | 50 | Informative git prompt for zsh | 2018-12-26T20:44:56Z |
| 36 | grenade | 1143 | 63 | Haskell | 17 | Deep Learning in Haskell | 2018-12-14T21:08:19Z |
| 37 | servant | 1102 | 241 | Haskell | 165 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! | 2018-12-19T09:40:31Z |
| 38 | xmonad | 1097 | 152 | Haskell | 51 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2018-09-30T11:34:54Z |
| 39 | real-world-haskell-cn | 1089 | 168 | Haskell | 13 | 《Real World Haskell》中文翻译项目 | 2018-09-28T04:41:58Z |
| 40 | haskell | 1084 | 143 | Haskell | 30 | Haskell bindings for TensorFlow | 2018-11-27T19:17:33Z |
| 41 | patat | 1052 | 30 | Haskell | 6 | Terminal-based presentations using Pandoc | 2018-12-12T18:40:56Z |
| 42 | elm-format | 1030 | 108 | Haskell | 174 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 2018-12-17T04:17:39Z |
| 43 | cabal | 964 | 457 | Haskell | 1162 | Official upstream development repository for Cabal and cabal-install | 2019-01-04T02:30:23Z |
| 44 | HaLVM | 933 | 81 | Haskell | 36 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 45 | intero | 917 | 121 | Haskell | 28 | Complete interactive development program for Haskell | 2018-12-24T19:11:48Z |
| 46 | hledger | 907 | 143 | Haskell | 208 | Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger. | 2019-01-05T18:42:13Z |
| 47 | articles | 886 | 75 | Haskell | 2 | Miscellaneous articles. The readme is the table of contents. | 2018-11-23T09:51:50Z |
| 48 | haskell-must-watch | 880 | 50 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 49 | codeworld | 867 | 138 | Haskell | 201 | Educational computer programming environment using Haskell | 2019-01-04T03:27:59Z |
| 50 | fp-course | 829 | 1005 | Haskell | 16 | Functional Programming Course | 2018-07-25T19:10:47Z |
| 51 | leksah | 826 | 106 | Haskell | 206 | Haskell IDE | 2018-12-01T22:09:19Z |
| 52 | erd | 825 | 68 | Haskell | 17 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2018-02-28T17:13:11Z |
| 53 | toodles | 796 | 26 | Haskell | 11 | Project management directly from the TODOs in your codebase | 2018-12-11T20:32:09Z |
| 54 | Tidal | 796 | 123 | Haskell | 65 | Pattern language | 2019-01-05T03:02:05Z |
| 55 | nanocoin | 791 | 68 | Haskell | 0 | A toy currency | 2018-05-29T13:13:09Z |
| 56 | aeson | 787 | 195 | Haskell | 69 | A fast Haskell JSON library | 2019-01-04T13:01:41Z |
| 57 | futhark | 783 | 57 | Haskell | 31 | :boom::computer:💥 A data-parallel functional programming language | 2019-01-05T13:45:26Z |
| 58 | penrose | 780 | 27 | Haskell | 74 | Create beautiful diagrams just by typing mathematical notation in plain text. | 2019-01-03T19:19:37Z |
| 59 | elm-platform | 776 | 131 | Haskell | 9 | Bundle of all core development tools for Elm | 2018-08-22T20:51:38Z |
| 60 | cryptol | 744 | 77 | Haskell | 83 | Cryptol: The Language of Cryptography | 2019-01-03T19:29:07Z |
| 61 | oden | 743 | 24 | Haskell | 15 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) | 2017-04-11T12:26:50Z |
| 62 | unused | 732 | 21 | Haskell | 19 | A command line tool to identify unused code. | 2018-08-29T17:08:00Z |
| 63 | hlint | 725 | 95 | Haskell | 146 | Haskell source code suggestions | 2018-12-28T11:20:34Z |
| 64 | aura | 701 | 73 | Haskell | 12 | A secure, multilingual package manager for Arch Linux and the AUR. | 2019-01-02T01:35:18Z |
| 65 | ImplicitCAD | 694 | 100 | Haskell | 46 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... | 2018-08-07T16:17:07Z |
| 66 | ghc-mod | 681 | 186 | Haskell | 109 | Happy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines | 2018-12-16T14:07:25Z |
| 67 | reflex | 681 | 109 | Haskell | 64 | 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. | 2019-01-04T11:21:26Z |
| 68 | kaleidoscope | 677 | 99 | Haskell | 5 | Haskell LLVM JIT Compiler Tutorial | 2017-12-27T12:47:34Z |
| 69 | agda | 672 | 97 | Haskell | 445 | Agda is a dependently typed programming language / interactive theorem prover. | 2019-01-04T17:35:11Z |
| 70 | dnngraph | 670 | 54 | Haskell | 8 | A DSL for deep neural networks, supporting Caffe and Torch | 2015-12-07T04:39:34Z |
| 71 | cgrep | 668 | 35 | Haskell | 1 | Cgrep: a context-aware grep for source codes | 2018-06-21T06:48:43Z |
| 72 | brick | 659 | 87 | Haskell | 1 | A declarative terminal UI programming library written in Haskell | 2018-12-27T19:12:01Z |
| 73 | kit | 659 | 21 | Haskell | 9 | Kit: a magical, high performance programming language, designed for game development. Pre-alpha! | 2019-01-05T21:22:48Z |
| 74 | kitten | 655 | 31 | Haskell | 64 | A statically typed concatenative systems programming language. | 2018-10-13T11:22:17Z |
| 75 | Haskell-Turtle-Library | 642 | 74 | Haskell | 30 | Shell programming, Haskell style | 2018-12-20T16:50:45Z |
| 76 | stanford-cs240h | 622 | 60 | Haskell | 1 | Course materials for Stanford CS240h, "Functional Systems in Haskell" | 2011-10-25T23:32:37Z |
| 77 | clash-compiler | 620 | 66 | Haskell | 86 | CAES Language for Synchronous Hardware | 2019-01-04T12:09:27Z |
| 78 | liquidhaskell | 612 | 83 | Haskell | 259 | Liquid Types For Haskell | 2019-01-06T00:43:07Z |
| 79 | legion | 610 | 42 | Haskell | 0 | Simple blockchain server written in haskell. Feedback welcome. | 2018-03-01T08:19:04Z |
| 80 | egison | 595 | 30 | Haskell | 12 | Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison. | 2018-12-17T05:03:48Z |
| 81 | queryparser | 592 | 63 | Haskell | 19 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2018-12-29T16:31:22Z |
| 82 | distributed-process | 591 | 78 | Haskell | 68 | Cloud Haskell core library | 2018-11-27T21:33:46Z |
| 83 | conduit | 589 | 156 | Haskell | 22 | A streaming data library | 2019-01-02T00:59:07Z |
| 84 | accelerate | 587 | 77 | Haskell | 53 | Embedded language for high-performance array computations | 2018-10-07T11:32:04Z |
| 85 | helm | 580 | 69 | Haskell | 23 | A functionally reactive game engine, with headgear to protect you from the headache of game development provided. | 2018-12-01T21:50:12Z |
| 86 | Haskell-Data-Analysis-Cookbook | 571 | 108 | Haskell | 0 | Accompanying Source Code for the Haskell Data Analysis Cookbook | 2015-10-03T19:58:11Z |
| 87 | rasa | 554 | 37 | Haskell | 18 | Extremely modular text editor built in Haskell | 2018-12-16T14:42:48Z |
| 88 | stylish-haskell | 548 | 77 | Haskell | 68 | Haskell code prettifier | 2019-01-02T12:12:06Z |
| 89 | ghcid | 548 | 57 | Haskell | 45 | Very low feature GHCi based IDE | 2018-12-13T11:26:49Z |
| 90 | transient | 541 | 25 | Haskell | 11 | A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state) | 2019-01-01T09:27:39Z |
| 91 | Spock | 526 | 47 | Haskell | 28 | Another Haskell web framework for rapid development | 2018-11-01T00:32:35Z |
| 92 | detexify-hs-backend | 521 | 37 | Haskell | 0 | Detexify Backend written in Haskell | 2016-12-26T21:00:50Z |
| 93 | carnival | 516 | 30 | Haskell | 0 | An unobtrusive, developer-friendly way to add comments | 2016-07-18T17:03:35Z |
| 94 | optparse-applicative | 515 | 71 | Haskell | 29 | Applicative option parser | 2018-12-21T06:47:16Z |
| 95 | hython | 514 | 17 | Haskell | 0 | Haskell-powered Python 3 interpreter | 2017-08-01T00:18:19Z |
| 96 | wai | 508 | 181 | Haskell | 41 | Haskell Web Application Interface | 2018-12-23T10:34:06Z |
| 97 | shake | 506 | 89 | Haskell | 147 | Shake build system | 2018-12-21T12:44:26Z |
| 98 | project-m36 | 501 | 29 | Haskell | 70 | Project: M36 Relational Algebra Engine | 2019-01-05T19:54:30Z |
| 99 | bench | 497 | 18 | Haskell | 8 | Command-line benchmark tool | 2018-08-18T20:15:26Z |
| 100 | hspec | 491 | 72 | Haskell | 35 | A Testing Framework for Haskell | 2019-01-01T01:39:31Z |