Files
Github-Ranking/Top100/Haskell.md
T
2021-05-08 11:01:19 +08:00

17 KiB

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 shellcheck 24670 1232 Haskell 681 ShellCheck, a static analysis tool for shell scripts 2021-04-27T18:21:59Z
2 pandoc 22448 2658 Haskell 768 Universal markup converter 2021-05-07T15:18:12Z
3 graphql-engine 21603 1867 Haskell 1426 Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. 2021-05-07T18:00:40Z
4 postgrest 16982 784 Haskell 147 REST API for any Postgres database 2021-05-05T20:52:30Z
5 semantic 8010 450 Haskell 103 Parsing, analyzing, and comparing source code across many languages 2021-02-24T16:20:12Z
6 purescript 7106 509 Haskell 265 A strongly-typed language that compiles to JavaScript 2021-05-06T19:59:50Z
7 compiler 6414 568 Haskell 231 Compiler for Elm, a functional language for reliable webapps. 2021-04-13T01:28:11Z
8 hadolint 5281 225 Haskell 74 Dockerfile linter, validate inline bash, written in Haskell 2021-05-06T13:43:43Z
9 Carp 3918 146 Haskell 82 A statically typed lisp, without a GC, for real-time applications. 2021-05-06T20:08:59Z
10 Haxl 3917 309 Haskell 9 A Haskell library that simplifies access to remote data, such as databases or web-based services. 2021-03-24T10:09:26Z
11 unison 3756 182 Haskell 523 A friendly programming language from the future 2021-05-08T02:40:25Z
12 fp-course 3607 1113 Haskell 15 Functional Programming Course 2021-05-04T07:40:28Z
13 cardano-sl 3572 601 Haskell 189 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
14 stack 3535 781 Haskell 820 The Haskell Tool Stack 2021-05-07T20:43:59Z
15 duckling 3296 618 Haskell 92 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2021-05-07T13:20:44Z
16 Idris-dev 3294 658 Haskell 708 A Dependently Typed Functional Programming Language 2021-01-29T10:37:32Z
17 write-you-a-haskell 2956 237 Haskell 27 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
18 Functional-Programming 2594 160 Haskell 7 Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python 2019-08-06T22:00:55Z
19 ghc 2522 642 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-05-08T00:12:40Z
20 eta 2474 146 Haskell 242 The Eta Programming Language, a dialect of Haskell on the JVM 2019-11-30T21:26:00Z
21 haskell-ide-engine 2449 228 Haskell 302 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
22 ghcjs 2424 173 Haskell 280 Haskell to JavaScript compiler, based on GHC 2021-05-07T10:56:40Z
23 awesome-haskell 2374 151 Haskell 12 A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. 2021-03-31T08:55:57Z
24 yesod 2347 357 Haskell 94 A RESTful Haskell web framework built on WAI. 2021-05-07T13:17:21Z
25 wire-server 2301 310 Haskell 84 🇪🇺 Wire back-end services 2021-05-07T15:59:43Z
26 hakyll 2285 385 Haskell 119 A static website compiler library in Haskell 2021-04-23T22:41:20Z
27 IHaskell 2242 232 Haskell 39 A Haskell kernel for IPython. 2021-05-02T11:31:56Z
28 wiwinwlh 2100 219 Haskell 4 What I Wish I Knew When Learning Haskell 2021-05-06T12:45:28Z
29 corrode 2056 109 Haskell 80 C to Rust translator 2019-03-10T01:48:47Z
30 ihp 1919 97 Haskell 117 🔥 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-05-05T12:48:52Z
31 gitit 1910 206 Haskell 206 A wiki using HAppS, pandoc, and git 2021-04-02T23:56:41Z
32 xmonad 1814 207 Haskell 86 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2021-05-04T05:40:43Z
33 miso 1800 132 Haskell 36 🍜 A tasty Haskell front-end framework 2021-05-02T00:47:06Z
34 lens 1760 237 Haskell 87 Lenses, Folds, and Traversals - Join us on freenode #haskell-lens 2021-05-01T11:10:23Z
35 hledger 1733 225 Haskell 330 easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger 2021-05-07T05:21:02Z
36 lamdu 1685 65 Haskell 4 lamdu - towards the next generation IDE 2021-05-07T10:45:47Z
37 asterius 1628 50 Haskell 111 A Haskell to WebAssembly compiler 2021-05-07T18:27:12Z
38 HLearn 1571 135 Haskell 24 Homomorphic machine learning 2016-05-29T16:51:53Z
39 patat 1544 42 Haskell 11 Terminal-based presentations using Pandoc 2021-03-12T18:46:51Z
40 haskell-language-server 1500 140 Haskell 336 Successor of ghcide & haskell-ide-engine. One IDE to rule them all. 2021-05-07T12:27:01Z
41 agda 1498 189 Haskell 711 Agda is a dependently typed programming language / interactive theorem prover. 2021-05-07T20:54:16Z
42 zsh-git-prompt 1493 364 Haskell 58 Informative git prompt for zsh 2020-09-05T05:09:22Z
43 scotty 1492 123 Haskell 52 Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) 2021-03-09T06:39:07Z
44 servant 1488 330 Haskell 242 Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! 2021-05-07T14:12:57Z
45 futhark 1481 97 Haskell 46 :boom::computer:💥 A data-parallel functional programming language 2021-05-07T18:22:58Z
46 Simula 1441 37 Haskell 14 Linux VR Desktop 2021-05-05T02:25:52Z
47 haste-compiler 1418 109 Haskell 62 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z
48 real-world-haskell-cn 1416 220 Haskell 24 《Real World Haskell》中文翻译项目 2021-03-29T17:05:22Z
49 erd 1406 114 Haskell 15 Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. 2021-05-03T19:58:21Z
50 haskell 1403 192 Haskell 32 Haskell bindings for TensorFlow 2021-02-09T17:08:46Z
51 yi 1367 192 Haskell 217 The Haskell-Scriptable Editor 2020-11-20T06:23:22Z
52 grenade 1343 80 Haskell 22 Deep Learning in Haskell 2021-03-15T15:42:14Z
53 Tidal 1332 187 Haskell 111 Pattern language 2021-05-07T21:48:54Z
54 cardano-node 1288 243 Haskell 251 The core component that is used to participate in a Cardano decentralised blockchain. 2021-05-07T21:45:31Z
55 koka 1260 76 Haskell 91 Koka language compiler and interpreter 2021-05-05T18:07:21Z
56 fay 1256 87 Haskell 22 A proper subset of Haskell that compiles to JavaScript 2021-03-23T23:10:51Z
57 cabal 1243 540 Haskell 1494 Official upstream development repository for Cabal and cabal-install 2021-05-07T19:53:59Z
58 elm-format 1243 134 Haskell 210 elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide 2021-03-02T23:15:54Z
59 taskell 1235 43 Haskell 36 Command-line Kanban board/task manager with support for Trello boards and GitHub projects 2021-04-30T21:23:47Z
60 haskell-trainings 1216 93 Haskell 4 Haskell 101 and 102: slides and codelabs 2020-07-11T04:26:00Z
61 hlint 1160 148 Haskell 180 Haskell source code suggestions 2021-04-26T20:33:40Z
62 codeworld 1158 194 Haskell 282 Educational computer programming environment using Haskell 2021-04-18T17:49:05Z
63 brick 1093 126 Haskell 1 A declarative Unix terminal UI programming library written in Haskell 2021-04-30T14:09:27Z
64 articles 1050 83 Haskell 4 Miscellaneous articles. The readme is the table of contents. 2020-10-24T05:15:05Z
65 neuron 1049 130 Haskell 65 Future-proof note-taking and publishing based on Zettelkasten 2021-05-06T21:55:09Z
66 intero 1041 147 Haskell 30 None 2020-01-25T08:48:39Z
67 wasp 1038 27 Haskell 76 A programming language that understands what a web app is. 2021-05-06T20:57:23Z
68 aura 1037 90 Haskell 24 A secure, multilingual package manager for Arch Linux and the AUR. 2021-05-08T02:43:41Z
69 haskell-must-watch 1023 58 Haskell 0 Huge list of videos, talks, courses for Haskell programming language. 2017-10-17T13:24:26Z
70 HaLVM 1010 84 Haskell 37 The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen 2018-12-06T17:24:40Z
71 kit 986 30 Haskell 19 Kit: a magical, high performance programming language, designed for game development. Pre-alpha! 2019-11-18T14:45:01Z
72 ImplicitCAD 981 132 Haskell 58 A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... 2021-04-20T06:11:54Z
73 clash-compiler 976 105 Haskell 195 Haskell to VHDL/Verilog/SystemVerilog compiler 2021-05-07T12:56:28Z
74 fp-course 963 130 Haskell 17 Functional Programming Course 2020-08-10T04:04:14Z
75 dex-lang 963 54 Haskell 104 Research language for array processing in the Haskell/ML family 2021-05-03T22:22:39Z
76 toodles 960 34 Haskell 15 Project management directly from the TODOs in your codebase 2021-01-21T23:27:38Z
77 cryptol 949 101 Haskell 152 Cryptol: The Language of Cryptography 2021-05-07T23:27:08Z
78 ghcid 945 92 Haskell 89 Very low feature GHCi based IDE 2021-02-14T11:12:57Z
79 leksah 937 108 Haskell 227 Haskell IDE 2021-02-14T14:35:23Z
80 radicle-alpha 924 33 Haskell 45 A peer-to-peer stack for code collaboration 2020-03-26T14:58:12Z
81 reflex 922 132 Haskell 75 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-05-01T18:21:11Z
82 queryparser 917 122 Haskell 21 Parsing and analysis of Vertica, Hive, and Presto SQL. 2020-01-06T05:26:51Z
83 kitten 914 36 Haskell 65 A statically typed concatenative systems programming language. 2020-11-03T20:04:33Z
84 kaleidoscope 881 120 Haskell 9 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z
85 unused 878 26 Haskell 1 Deprecated; see https://github.com/unused-code/unused 2020-05-28T02:48:16Z
86 liquidhaskell 870 102 Haskell 381 Liquid Types For Haskell 2021-04-27T13:48:06Z
87 gifcurry 866 38 Haskell 21 😎 The open-source, Haskell-built video editor for GIF makers. 2021-01-04T18:43:23Z
88 grin 847 28 Haskell 23 GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. 2021-05-07T17:07:32Z
89 wstunnel 837 87 Haskell 9 Tunneling over websocket protocol - Static binary available 2021-04-07T20:23:06Z
90 polysemy 820 59 Haskell 72 ♊ higher-order, no-boilerplate monads 2021-05-06T02:16:51Z
91 matterhorn 819 65 Haskell 51 A feature-rich Unix terminal client for the Mattermost chat system 2021-05-06T20:23:11Z
92 egison 803 34 Haskell 17 The Egison Programming Language 2021-02-26T02:19:12Z
93 Haskell-Turtle-Library 792 86 Haskell 35 Shell programming, Haskell style 2021-04-01T21:48:41Z
94 neut 781 6 Haskell 4 A dependently-typed programming language with compile-time malloc/free determination 2020-10-17T12:04:46Z
95 software-design-in-haskell 775 47 Haskell 0 Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. 2021-01-11T21:09:22Z
96 elm-platform 774 131 Haskell 9 Bundle of all core development tools for Elm 2018-08-22T20:51:38Z
97 stylish-haskell 769 117 Haskell 87 Haskell code prettifier 2021-04-26T17:44:59Z
98 accelerate 760 94 Haskell 53 Embedded language for high-performance array computations 2021-05-07T15:37:06Z
99 hasktorch 757 79 Haskell 68 Tensors and neural networks in Haskell 2021-05-07T04:03:39Z
100 conduit 754 179 Haskell 35 A streaming data library 2021-05-04T08:03:41Z