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 | pandoc | 15301 | 1722 | Haskell | 505 | Universal markup converter | 2019-04-29T20:13:54Z |
| 2 | shellcheck | 14411 | 731 | Haskell | 399 | ShellCheck, a static analysis tool for shell scripts | 2019-04-30T01:03:20Z |
| 3 | postgrest | 12263 | 560 | Haskell | 110 | REST API for any Postgres database | 2019-04-28T16:38:49Z |
| 4 | purescript | 5649 | 412 | Haskell | 240 | A strongly-typed language that compiles to Javascript | 2019-04-29T22:07:03Z |
| 5 | compiler | 5172 | 416 | Haskell | 141 | Compiler for Elm, a functional language for reliable webapps. | 2019-04-16T19:19:13Z |
| 6 | Haxl | 3509 | 283 | Haskell | 7 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2019-04-29T16:17:44Z |
| 7 | cardano-sl | 3233 | 561 | Haskell | 183 | Cryptographic currency implementing Ouroboros PoS protocol | 2019-04-30T03:21:09Z |
| 8 | stack | 3066 | 682 | Haskell | 597 | The Haskell Tool Stack | 2019-04-30T03:42:43Z |
| 9 | luna | 2849 | 75 | Haskell | 82 | Hybrid textual and visual functional programming. | 2019-04-29T16:15:39Z |
| 10 | Idris-dev | 2818 | 622 | Haskell | 634 | A Dependently Typed Functional Programming Language | 2019-04-28T16:58:47Z |
| 11 | Carp | 2782 | 99 | Haskell | 30 | A statically typed lisp, without a GC, for real-time applications. | 2019-04-29T17:09:13Z |
| 12 | Functional-Programming | 2465 | 144 | Haskell | 5 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | 2018-12-08T12:33:12Z |
| 13 | write-you-a-haskell | 2434 | 200 | Haskell | 19 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 2019-04-07T12:44:04Z |
| 14 | duckling | 2280 | 382 | Haskell | 72 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 2019-04-30T01:17:03Z |
| 15 | eta | 2212 | 143 | Haskell | 221 | The Eta Programming Language, a dialect of Haskell on the JVM | 2019-04-16T15:27:58Z |
| 16 | ghc | 2139 | 598 | Haskell | 7 | Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's GitLab instance (https://gitlab.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-04-30T01:19:55Z |
| 17 | ghcjs | 2126 | 160 | Haskell | 250 | Haskell to JavaScript compiler, based on GHC | 2019-04-30T01:06:04Z |
| 18 | yesod | 2076 | 326 | Haskell | 115 | A RESTful Haskell web framework built on WAI. | 2019-04-30T02:13:43Z |
| 19 | hakyll | 1953 | 340 | Haskell | 113 | A static website compiler library in Haskell | 2019-04-29T01:18:04Z |
| 20 | corrode | 1934 | 105 | Haskell | 81 | C to Rust translator | 2019-03-10T01:48:47Z |
| 21 | hadolint | 1932 | 84 | Haskell | 33 | Dockerfile linter, validate inline bash, written in Haskell | 2019-04-01T19:25:25Z |
| 22 | wire-server | 1892 | 236 | Haskell | 30 | 🇪🇺 Wire back-end services | 2019-04-29T18:24:31Z |
| 23 | unison | 1784 | 72 | Haskell | 66 | Next generation programming language, currently in development | 2019-04-29T21:51:48Z |
| 24 | haskell-ide-engine | 1652 | 172 | Haskell | 203 | The engine for haskell ide-integration. Not an IDE | 2019-04-29T18:29:37Z |
| 25 | gitit | 1651 | 184 | Haskell | 188 | A wiki using HAppS, pandoc, and git | 2018-12-31T23:00:25Z |
| 26 | lamdu | 1530 | 57 | Haskell | 4 | lamdu - towards the next generation IDE | 2019-04-28T14:56:26Z |
| 27 | HLearn | 1481 | 135 | Haskell | 24 | Homomorphic machine learning | 2016-05-29T16:51:53Z |
| 28 | wiwinwlh | 1471 | 172 | Haskell | 4 | What I Wish I Knew When Learning Haskell | 2019-04-25T14:26:28Z |
| 29 | lens | 1463 | 214 | Haskell | 70 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 2019-04-30T00:02:28Z |
| 30 | haste-compiler | 1334 | 107 | Haskell | 60 | A GHC-based Haskell to JavaScript compiler | 2019-03-17T10:49:58Z |
| 31 | scotty | 1312 | 118 | Haskell | 56 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 2019-04-27T22:10:28Z |
| 32 | miso | 1276 | 87 | Haskell | 32 | 🍜 A tasty Haskell front-end framework | 2019-04-28T20:42:30Z |
| 33 | yi | 1269 | 183 | Haskell | 209 | The Haskell-Scriptable Editor | 2019-03-24T15:27:08Z |
| 34 | zsh-git-prompt | 1211 | 298 | Haskell | 50 | Informative git prompt for zsh | 2019-04-15T16:13:44Z |
| 35 | grenade | 1192 | 66 | Haskell | 18 | Deep Learning in Haskell | 2019-02-24T21:49:14Z |
| 36 | fay | 1183 | 89 | Haskell | 17 | A proper subset of Haskell that compiles to JavaScript | 2019-04-29T11:48:20Z |
| 37 | xmonad | 1168 | 155 | Haskell | 55 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 2018-09-30T11:34:54Z |
| 38 | haskell | 1163 | 151 | Haskell | 30 | Haskell bindings for TensorFlow | 2019-04-22T04:46:28Z |
| 39 | servant | 1151 | 258 | Haskell | 168 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! | 2019-04-23T09:37:48Z |
| 40 | real-world-haskell-cn | 1148 | 177 | Haskell | 13 | 《Real World Haskell》中文翻译项目 | 2018-09-28T04:41:58Z |
| 41 | patat | 1122 | 36 | Haskell | 6 | Terminal-based presentations using Pandoc | 2019-03-07T22:49:16Z |
| 42 | elm-format | 1082 | 112 | Haskell | 180 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 2019-03-28T15:28:32Z |
| 43 | cabal | 1022 | 468 | Haskell | 1208 | Official upstream development repository for Cabal and cabal-install | 2019-04-30T02:24:18Z |
| 44 | hledger | 994 | 160 | Haskell | 222 | Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger. | 2019-04-28T20:38:46Z |
| 45 | intero | 981 | 125 | Haskell | 21 | Complete interactive development program for Haskell | 2019-03-08T16:34:22Z |
| 46 | HaLVM | 949 | 80 | Haskell | 37 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 2018-12-06T17:24:40Z |
| 47 | erd | 943 | 80 | Haskell | 14 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 2019-04-28T12:17:40Z |
| 48 | articles | 932 | 79 | Haskell | 4 | Miscellaneous articles. The readme is the table of contents. | 2019-04-18T11:15:00Z |
| 49 | codeworld | 926 | 155 | Haskell | 206 | Educational computer programming environment using Haskell | 2019-04-29T13:54:50Z |
| 50 | haskell-trainings | 916 | 48 | Haskell | 0 | Haskell 101 and 102: slides and codelabs | 2019-04-22T14:37:15Z |
| 51 | haskell-must-watch | 905 | 50 | Haskell | 0 | Huge list of videos, talks, courses for Haskell programming language. | 2017-10-17T13:24:26Z |
| 52 | Tidal | 884 | 132 | Haskell | 71 | Pattern language | 2019-04-27T19:07:14Z |
| 53 | futhark | 880 | 60 | Haskell | 36 | :boom::computer:💥 A data-parallel functional programming language | 2019-04-30T02:02:54Z |
| 54 | fp-course | 864 | 1044 | Haskell | 16 | Functional Programming Course | 2019-03-12T06:19:53Z |
| 55 | leksah | 847 | 108 | Haskell | 213 | Haskell IDE | 2019-03-11T22:34:49Z |
| 56 | penrose | 836 | 27 | Haskell | 85 | Create beautiful diagrams just by typing mathematical notation in plain text. | 2019-04-30T00:54:12Z |
| 57 | asterius | 825 | 21 | Haskell | 23 | A Haskell to WebAssembly compiler | 2019-04-27T16:05:01Z |
| 58 | aeson | 819 | 203 | Haskell | 67 | A fast Haskell JSON library | 2019-04-28T18:29:42Z |
| 59 | toodles | 801 | 27 | Haskell | 12 | Project management directly from the TODOs in your codebase | 2019-02-20T01:44:50Z |
| 60 | agda | 796 | 112 | Haskell | 492 | Agda is a dependently typed programming language / interactive theorem prover. | 2019-04-29T15:47:15Z |
| 61 | nanocoin | 787 | 67 | Haskell | 0 | A toy currency | 2018-05-29T13:13:09Z |
| 62 | cryptol | 781 | 82 | Haskell | 99 | Cryptol: The Language of Cryptography | 2019-04-29T23:18:49Z |
| 63 | elm-platform | 780 | 131 | Haskell | 9 | Bundle of all core development tools for Elm | 2018-08-22T20:51:38Z |
| 64 | unused | 778 | 24 | Haskell | 19 | A command line tool to identify unused code. | 2018-08-29T17:08:00Z |
| 65 | hlint | 763 | 100 | Haskell | 160 | Haskell source code suggestions | 2019-04-25T19:43:46Z |
| 66 | oden | 741 | 24 | Haskell | 15 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) | 2017-04-11T12:26:50Z |
| 67 | reflex | 738 | 109 | Haskell | 46 | 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-04-30T01:58:29Z |
| 68 | kit | 737 | 24 | Haskell | 9 | Kit: a magical, high performance programming language, designed for game development. Pre-alpha! | 2019-04-22T00:13:39Z |
| 69 | ImplicitCAD | 728 | 102 | Haskell | 42 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... | 2019-04-29T20:32:14Z |
| 70 | brick | 728 | 86 | Haskell | 1 | A declarative terminal UI programming library written in Haskell | 2019-03-20T16:10:02Z |
| 71 | aura | 725 | 74 | Haskell | 17 | A secure, multilingual package manager for Arch Linux and the AUR. | 2019-01-19T06:24:47Z |
| 72 | radicle | 712 | 22 | Haskell | 45 | A peer-to-peer stack for code collaboration | 2019-04-26T15:10:12Z |
| 73 | kaleidoscope | 701 | 102 | Haskell | 5 | Haskell LLVM JIT Compiler Tutorial | 2017-12-27T12:47:34Z |
| 74 | kitten | 701 | 31 | Haskell | 63 | A statically typed concatenative systems programming language. | 2018-10-13T11:22:17Z |
| 75 | ghc-mod | 683 | 188 | Haskell | 114 | Happy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines | 2019-02-24T12:51:32Z |
| 76 | dnngraph | 683 | 58 | Haskell | 8 | A DSL for deep neural networks, supporting Caffe and Torch | 2015-12-07T04:39:34Z |
| 77 | Haskell-Turtle-Library | 679 | 76 | Haskell | 30 | Shell programming, Haskell style | 2019-04-18T17:54:06Z |
| 78 | cgrep | 666 | 35 | Haskell | 1 | Cgrep: a context-aware grep for source codes | 2018-06-21T06:48:43Z |
| 79 | clash-compiler | 658 | 67 | Haskell | 103 | CAES Language for Synchronous Hardware | 2019-04-26T23:20:28Z |
| 80 | liquidhaskell | 653 | 89 | Haskell | 270 | Liquid Types For Haskell | 2019-04-25T18:05:01Z |
| 81 | queryparser | 653 | 69 | Haskell | 19 | Parsing and analysis of Vertica, Hive, and Presto SQL. | 2019-04-22T20:54:52Z |
| 82 | stanford-cs240h | 629 | 62 | Haskell | 1 | Course materials for Stanford CS240h, "Functional Systems in Haskell" | 2011-10-25T23:32:37Z |
| 83 | conduit | 624 | 162 | Haskell | 23 | A streaming data library | 2019-03-14T09:17:00Z |
| 84 | ghcid | 623 | 61 | Haskell | 53 | Very low feature GHCi based IDE | 2019-04-29T12:40:56Z |
| 85 | egison | 622 | 28 | 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. | 2019-04-29T06:55:04Z |
| 86 | legion | 610 | 40 | Haskell | 0 | Simple blockchain server written in haskell. Feedback welcome. | 2018-03-01T08:19:04Z |
| 87 | accelerate | 608 | 79 | Haskell | 55 | Embedded language for high-performance array computations | 2019-03-21T12:30:59Z |
| 88 | distributed-process | 606 | 80 | Haskell | 69 | Cloud Haskell core library | 2018-11-27T21:33:46Z |
| 89 | helm | 585 | 70 | Haskell | 23 | A functionally reactive game engine, with headgear to protect you from the headache of game development provided. | 2018-12-01T21:50:12Z |
| 90 | bench | 585 | 17 | Haskell | 8 | Command-line benchmark tool | 2018-08-18T20:15:26Z |
| 91 | stylish-haskell | 585 | 81 | Haskell | 71 | Haskell code prettifier | 2019-04-29T14:48:50Z |
| 92 | Haskell-Data-Analysis-Cookbook | 584 | 105 | Haskell | 0 | Accompanying Source Code for the Haskell Data Analysis Cookbook | 2015-10-03T19:58:11Z |
| 93 | rasa | 562 | 39 | Haskell | 17 | Extremely modular text editor built in Haskell | 2018-12-16T14:42:48Z |
| 94 | transient | 561 | 27 | 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-02-10T17:02:56Z |
| 95 | Spock | 553 | 49 | Haskell | 28 | Another Haskell web framework for rapid development | 2019-04-08T01:07:31Z |
| 96 | detexify-hs-backend | 547 | 40 | Haskell | 1 | Detexify Backend written in Haskell | 2016-12-26T21:00:50Z |
| 97 | wai | 547 | 188 | Haskell | 44 | Haskell Web Application Interface | 2019-04-28T15:23:50Z |
| 98 | koka | 544 | 37 | Haskell | 55 | Koka language compiler and interpreter | 2019-04-22T22:08:01Z |
| 99 | project-m36 | 541 | 29 | Haskell | 67 | Project: M36 Relational Algebra Engine | 2019-04-23T01:56:23Z |
| 100 | optparse-applicative | 540 | 76 | Haskell | 32 | Applicative option parser | 2019-03-18T21:23:58Z |