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

17 KiB

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 shellcheck 24874 1237 Haskell 687 ShellCheck, a static analysis tool for shell scripts 2021-05-24T02:54:58Z
2 pandoc 22585 2672 Haskell 700 Universal markup converter 2021-05-23T05:04:49Z
3 graphql-engine 21790 1879 Haskell 1461 Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. 2021-05-24T02:34:36Z
4 postgrest 17075 786 Haskell 149 REST API for any Postgres database 2021-05-22T06:07:35Z
5 semantic 8032 452 Haskell 104 Parsing, analyzing, and comparing source code across many languages 2021-02-24T16:20:12Z
6 purescript 7137 511 Haskell 268 A strongly-typed language that compiles to JavaScript 2021-05-22T00:44:59Z
7 compiler 6435 568 Haskell 234 Compiler for Elm, a functional language for reliable webapps. 2021-04-13T01:28:11Z
8 hadolint 5335 230 Haskell 76 Dockerfile linter, validate inline bash, written in Haskell 2021-05-22T10:32:38Z
9 Carp 3937 145 Haskell 76 A statically typed lisp, without a GC, for real-time applications. 2021-05-22T21:44:40Z
10 Haxl 3924 309 Haskell 6 A Haskell library that simplifies access to remote data, such as databases or web-based services. 2021-05-19T14:03:31Z
11 unison 3782 183 Haskell 540 A friendly programming language from the future 2021-05-23T18:24:48Z
12 fp-course 3628 1114 Haskell 15 Functional Programming Course 2021-05-04T07:40:28Z
13 cardano-sl 3599 602 Haskell 189 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
14 stack 3544 782 Haskell 831 The Haskell Tool Stack 2021-05-18T12:00:58Z
15 duckling 3303 620 Haskell 84 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2021-05-18T20:50:24Z
16 Idris-dev 3296 658 Haskell 707 A Dependently Typed Functional Programming Language 2021-01-29T10:37:32Z
17 write-you-a-haskell 2960 239 Haskell 27 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
18 Functional-Programming 2596 160 Haskell 7 Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python 2019-08-06T22:00:55Z
19 ghc 2529 645 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-23T23:24:56Z
20 eta 2478 146 Haskell 242 The Eta Programming Language, a dialect of Haskell on the JVM 2019-11-30T21:26:00Z
21 haskell-ide-engine 2448 228 Haskell 302 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
22 ghcjs 2430 174 Haskell 280 Haskell to JavaScript compiler, based on GHC 2021-05-07T10:56:40Z
23 awesome-haskell 2383 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 2351 358 Haskell 94 A RESTful Haskell web framework built on WAI. 2021-05-21T15:20:26Z
25 wire-server 2306 310 Haskell 84 🇪🇺 Wire back-end services 2021-05-23T19:41:01Z
26 hakyll 2293 387 Haskell 120 A static website compiler library in Haskell 2021-04-23T22:41:20Z
27 IHaskell 2247 233 Haskell 39 A Haskell kernel for IPython. 2021-05-11T13:51:14Z
28 wiwinwlh 2122 220 Haskell 3 What I Wish I Knew When Learning Haskell 2021-05-10T15:58:34Z
29 corrode 2058 109 Haskell 80 C to Rust translator 2019-03-10T01:48:47Z
30 ihp 1950 96 Haskell 118 🔥 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-23T16:21:45Z
31 gitit 1921 206 Haskell 208 A wiki using HAppS, pandoc, and git 2021-04-02T23:56:41Z
32 xmonad 1844 209 Haskell 87 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2021-05-23T22:09:30Z
33 miso 1809 132 Haskell 37 🍜 A tasty Haskell front-end framework 2021-05-02T00:47:06Z
34 lens 1765 238 Haskell 88 Lenses, Folds, and Traversals - Join us on freenode #haskell-lens 2021-05-16T11:54:35Z
35 hledger 1752 228 Haskell 335 easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger 2021-05-23T18:53:48Z
36 lamdu 1685 65 Haskell 4 lamdu - towards the next generation IDE 2021-05-23T17:45:09Z
37 asterius 1646 52 Haskell 112 A Haskell to WebAssembly compiler 2021-05-07T18:27:12Z
38 HLearn 1575 135 Haskell 24 Homomorphic machine learning 2016-05-29T16:51:53Z
39 patat 1555 43 Haskell 11 Terminal-based presentations using Pandoc 2021-03-12T18:46:51Z
40 haskell-language-server 1527 141 Haskell 354 Successor of ghcide & haskell-ide-engine. One IDE to rule them all. 2021-05-23T21:07:12Z
41 agda 1510 190 Haskell 709 Agda is a dependently typed programming language / interactive theorem prover. 2021-05-22T15:50:51Z
42 zsh-git-prompt 1497 364 Haskell 58 Informative git prompt for zsh 2020-09-05T05:09:22Z
43 scotty 1496 124 Haskell 50 Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) 2021-05-17T09:22:52Z
44 servant 1486 330 Haskell 244 Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! 2021-05-19T20:03:42Z
45 futhark 1483 97 Haskell 47 :boom::computer:💥 A data-parallel functional programming language 2021-05-23T20:42:46Z
46 cardano-node 1458 269 Haskell 267 The core component that is used to participate in a Cardano decentralised blockchain. 2021-05-24T01:11:53Z
47 Simula 1449 39 Haskell 20 Linux VR Desktop 2021-05-22T23:01:30Z
48 real-world-haskell-cn 1419 220 Haskell 24 《Real World Haskell》中文翻译项目 2021-03-29T17:05:22Z
49 haste-compiler 1418 109 Haskell 62 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z
50 erd 1418 114 Haskell 18 Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. 2021-05-18T13:28:47Z
51 haskell 1406 192 Haskell 32 Haskell bindings for TensorFlow 2021-02-09T17:08:46Z
52 yi 1368 192 Haskell 217 The Haskell-Scriptable Editor 2020-11-20T06:23:22Z
53 grenade 1346 80 Haskell 22 Deep Learning in Haskell 2021-03-15T15:42:14Z
54 Tidal 1334 187 Haskell 113 Pattern language 2021-05-18T12:48:18Z
55 koka 1287 76 Haskell 90 Koka language compiler and interpreter 2021-05-23T17:48:10Z
56 fay 1256 87 Haskell 22 A proper subset of Haskell that compiles to JavaScript 2021-03-23T23:10:51Z
57 cabal 1247 545 Haskell 1504 Official upstream development repository for Cabal and cabal-install 2021-05-21T15:16:14Z
58 elm-format 1246 134 Haskell 212 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 1238 43 Haskell 37 Command-line Kanban board/task manager with support for Trello boards and GitHub projects 2021-04-30T21:23:47Z
60 haskell-trainings 1221 92 Haskell 4 Haskell 101 and 102: slides and codelabs 2020-07-11T04:26:00Z
61 hlint 1166 150 Haskell 185 Haskell source code suggestions 2021-05-14T09:35:48Z
62 codeworld 1160 194 Haskell 282 Educational computer programming environment using Haskell 2021-04-18T17:49:05Z
63 brick 1098 128 Haskell 1 A declarative Unix terminal UI programming library written in Haskell 2021-04-30T14:09:27Z
64 neuron 1081 134 Haskell 66 Future-proof note-taking and publishing based on Zettelkasten 2021-05-24T02:39:16Z
65 wasp 1074 29 Haskell 71 A programming language that understands what a web app is. 2021-05-22T00:15:25Z
66 articles 1051 83 Haskell 5 Miscellaneous articles. The readme is the table of contents. 2020-10-24T05:15:05Z
67 intero 1041 146 Haskell 30 None 2020-01-25T08:48:39Z
68 aura 1037 91 Haskell 24 A secure, multilingual package manager for Arch Linux and the AUR. 2021-05-21T01:52:34Z
69 haskell-must-watch 1025 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 ImplicitCAD 987 132 Haskell 58 A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... 2021-05-23T15:38:35Z
72 kit 987 29 Haskell 19 (INACTIVE) Kit: a magical, high performance programming language, designed for game development. Pre-alpha! 2019-11-18T14:45:01Z
73 clash-compiler 985 106 Haskell 193 Haskell to VHDL/Verilog/SystemVerilog compiler 2021-05-22T10:54:14Z
74 dex-lang 969 56 Haskell 112 Research language for array processing in the Haskell/ML family 2021-05-21T02:29:49Z
75 fp-course 967 130 Haskell 17 Functional Programming Course 2020-08-10T04:04:14Z
76 toodles 961 34 Haskell 15 Project management directly from the TODOs in your codebase 2021-01-21T23:27:38Z
77 cryptol 952 100 Haskell 148 Cryptol: The Language of Cryptography 2021-05-17T20:11:36Z
78 ghcid 950 92 Haskell 89 Very low feature GHCi based IDE 2021-05-16T18:04:34Z
79 leksah 939 107 Haskell 227 Haskell IDE 2021-02-14T14:35:23Z
80 reflex 925 132 Haskell 77 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
81 radicle-alpha 924 33 Haskell 45 A peer-to-peer stack for code collaboration 2020-03-26T14:58:12Z
82 queryparser 918 125 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 888 121 Haskell 9 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z
85 unused 879 26 Haskell 1 Deprecated; see https://github.com/unused-code/unused 2020-05-28T02:48:16Z
86 gifcurry 875 38 Haskell 21 😎 The open-source, Haskell-built video editor for GIF makers. 2021-01-04T18:43:23Z
87 liquidhaskell 873 102 Haskell 381 Liquid Types For Haskell 2021-04-27T13:48:06Z
88 grin 862 28 Haskell 23 GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. 2021-05-16T09:10:31Z
89 wstunnel 845 89 Haskell 9 Tunneling over websocket protocol - Static binary available 2021-04-07T20:23:06Z
90 polysemy 825 59 Haskell 72 ♊ higher-order, no-boilerplate monads 2021-05-06T02:16:51Z
91 matterhorn 824 66 Haskell 52 A feature-rich Unix terminal client for the Mattermost chat system 2021-05-21T18:10:50Z
92 egison 805 34 Haskell 17 The Egison Programming Language 2021-02-26T02:19:12Z
93 Haskell-Turtle-Library 794 86 Haskell 35 Shell programming, Haskell style 2021-04-01T21:48:41Z
94 neut 780 6 Haskell 3 A dependently-typed programming language with compile-time malloc/free determination 2021-05-10T11:41:11Z
95 software-design-in-haskell 778 47 Haskell 0 Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. 2021-05-20T12:07:06Z
96 elm-platform 776 132 Haskell 9 Bundle of all core development tools for Elm 2018-08-22T20:51:38Z
97 stylish-haskell 771 117 Haskell 87 Haskell code prettifier 2021-04-26T17:44:59Z
98 accelerate 763 94 Haskell 53 Embedded language for high-performance array computations 2021-05-11T13:56:18Z
99 hasktorch 763 79 Haskell 72 Tensors and neural networks in Haskell 2021-05-23T22:25:22Z
100 conduit 757 179 Haskell 35 A streaming data library 2021-05-04T08:03:41Z