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

17 KiB

Github Ranking

Top 100 Stars in Haskell

Ranking Project Name Stars Forks Language Open Issues Description Last Commit
1 shellcheck 25142 1259 Haskell 696 ShellCheck, a static analysis tool for shell scripts 2021-06-06T01:18:19Z
2 graphql-engine 23155 1916 Haskell 1487 Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. 2021-06-21T17:42:44Z
3 pandoc 22803 2684 Haskell 732 Universal markup converter 2021-06-22T01:26:41Z
4 postgrest 17170 790 Haskell 149 REST API for any Postgres database 2021-06-19T20:55:19Z
5 semantic 8059 458 Haskell 107 Parsing, analyzing, and comparing source code across many languages 2021-02-24T16:20:12Z
6 purescript 7185 515 Haskell 269 A strongly-typed language that compiles to JavaScript 2021-06-22T02:57:39Z
7 compiler 6458 574 Haskell 237 Compiler for Elm, a functional language for reliable webapps. 2021-04-13T01:28:11Z
8 hadolint 5484 237 Haskell 81 Dockerfile linter, validate inline bash, written in Haskell 2021-06-21T08:03:28Z
9 Carp 3968 146 Haskell 75 A statically typed lisp, without a GC, for real-time applications. 2021-06-21T19:01:02Z
10 Haxl 3930 308 Haskell 6 A Haskell library that simplifies access to remote data, such as databases or web-based services. 2021-06-09T11:31:41Z
11 unison 3827 187 Haskell 580 A friendly programming language from the future 2021-06-21T20:29:33Z
12 fp-course 3651 1119 Haskell 15 Functional Programming Course 2021-05-04T07:40:28Z
13 cardano-sl 3631 608 Haskell 189 Cryptographic currency implementing Ouroboros PoS protocol 2020-07-30T15:22:04Z
14 stack 3552 786 Haskell 840 The Haskell Tool Stack 2021-06-06T19:17:38Z
15 duckling 3321 628 Haskell 73 Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. 2021-06-10T03:33:18Z
16 Idris-dev 3297 658 Haskell 708 A Dependently Typed Functional Programming Language 2021-06-20T07:48:33Z
17 write-you-a-haskell 2973 239 Haskell 27 Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) 2021-01-11T13:56:03Z
18 Functional-Programming 2600 158 Haskell 7 Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python 2019-08-06T22:00:55Z
19 ghc 2535 647 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-06-21T21:06:37Z
20 eta 2481 145 Haskell 242 The Eta Programming Language, a dialect of Haskell on the JVM 2019-11-30T21:26:00Z
21 haskell-ide-engine 2443 228 Haskell 302 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z
22 ghcjs 2437 175 Haskell 281 Haskell to JavaScript compiler, based on GHC 2021-06-21T15:15:57Z
23 awesome-haskell 2401 153 Haskell 12 A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. 2021-03-31T08:55:57Z
24 yesod 2358 358 Haskell 89 A RESTful Haskell web framework built on WAI. 2021-05-21T15:20:26Z
25 wire-server 2314 311 Haskell 86 🇪🇺 Wire back-end services 2021-06-21T19:33:40Z
26 hakyll 2302 391 Haskell 120 A static website compiler library in Haskell 2021-06-20T13:48:55Z
27 IHaskell 2260 236 Haskell 44 A Haskell kernel for IPython. 2021-06-17T10:56:11Z
28 wiwinwlh 2138 222 Haskell 4 What I Wish I Knew When Learning Haskell 2021-06-19T22:00:57Z
29 corrode 2057 109 Haskell 80 C to Rust translator 2019-03-10T01:48:47Z
30 ihp 1984 101 Haskell 120 🔥 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-06-21T14:40:59Z
31 gitit 1933 206 Haskell 208 A wiki using HAppS, pandoc, and git 2021-04-02T23:56:41Z
32 xmonad 1896 220 Haskell 84 The core of xmonad, a small but functional ICCCM-compliant tiling window manager 2021-06-20T11:16:22Z
33 miso 1826 133 Haskell 36 🍜 A tasty Haskell front-end framework 2021-05-02T00:47:06Z
34 lens 1776 239 Haskell 89 Lenses, Folds, and Traversals - Join us on freenode #haskell-lens 2021-05-28T10:45:14Z
35 hledger 1765 232 Haskell 333 easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger 2021-06-21T14:37:34Z
36 lamdu 1688 65 Haskell 6 lamdu - towards the next generation IDE 2021-06-17T17:23:21Z
37 asterius 1665 52 Haskell 112 A Haskell to WebAssembly compiler 2021-05-07T18:27:12Z
38 cardano-node 1634 295 Haskell 275 The core component that is used to participate in a Cardano decentralised blockchain. 2021-06-22T01:05:58Z
39 HLearn 1577 135 Haskell 24 Homomorphic machine learning 2016-05-29T16:51:53Z
40 haskell-language-server 1574 153 Haskell 379 Successor of ghcide & haskell-ide-engine. One IDE to rule them all. 2021-06-21T23:58:23Z
41 patat 1571 45 Haskell 15 Terminal-based presentations using Pandoc 2021-03-12T18:46:51Z
42 agda 1525 190 Haskell 730 Agda is a dependently typed programming language / interactive theorem prover. 2021-06-21T10:58:54Z
43 scotty 1505 124 Haskell 48 Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) 2021-06-08T00:21:03Z
44 zsh-git-prompt 1505 368 Haskell 59 Informative git prompt for zsh 2021-06-11T15:08:06Z
45 futhark 1498 97 Haskell 52 :boom::computer:💥 A data-parallel functional programming language 2021-06-21T22:34:00Z
46 servant 1491 333 Haskell 243 Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! 2021-06-21T21:48:30Z
47 Simula 1463 40 Haskell 18 Linux VR Desktop 2021-06-22T02:31:32Z
48 real-world-haskell-cn 1430 219 Haskell 24 《Real World Haskell》中文翻译项目 2021-03-29T17:05:22Z
49 erd 1424 115 Haskell 18 Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. 2021-06-08T16:34:00Z
50 haste-compiler 1421 110 Haskell 62 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z
51 haskell 1409 191 Haskell 33 Haskell bindings for TensorFlow 2021-02-09T17:08:46Z
52 yi 1371 193 Haskell 217 The Haskell-Scriptable Editor 2020-11-20T06:23:22Z
53 grenade 1354 81 Haskell 22 Deep Learning in Haskell 2021-03-15T15:42:14Z
54 Tidal 1349 188 Haskell 115 Pattern language 2021-06-20T21:48:12Z
55 koka 1348 78 Haskell 67 Koka language compiler and interpreter 2021-06-21T22:59:22Z
56 taskell 1258 44 Haskell 37 Command-line Kanban board/task manager with support for Trello boards and GitHub projects 2021-04-30T21:23:47Z
57 cabal 1256 555 Haskell 1500 Official upstream development repository for Cabal and cabal-install 2021-06-21T20:02:23Z
58 fay 1255 86 Haskell 23 A proper subset of Haskell that compiles to JavaScript 2021-06-09T15:10:00Z
59 elm-format 1248 135 Haskell 213 elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide 2021-06-08T19:29:57Z
60 haskell-trainings 1222 93 Haskell 4 Haskell 101 and 102: slides and codelabs 2020-07-11T04:26:00Z
61 hlint 1177 151 Haskell 187 Haskell source code suggestions 2021-06-21T21:33:45Z
62 codeworld 1162 194 Haskell 283 Educational computer programming environment using Haskell 2021-04-18T17:49:05Z
63 neuron 1135 137 Haskell 66 Future-proof note-taking and publishing based on Zettelkasten 2021-06-11T21:23:40Z
64 wasp 1118 35 Haskell 74 A programming language that understands what a web app is. 2021-06-21T08:03:26Z
65 brick 1111 129 Haskell 3 A declarative Unix terminal UI programming library written in Haskell 2021-06-13T15:32:49Z
66 articles 1055 83 Haskell 4 Miscellaneous articles. The readme is the table of contents. 2021-06-08T10:47:44Z
67 aura 1053 91 Haskell 27 A secure, multilingual package manager for Arch Linux and the AUR. 2021-06-18T21:54:37Z
68 intero 1041 145 Haskell 30 None 2020-01-25T08:48:39Z
69 haskell-must-watch 1029 58 Haskell 0 Huge list of videos, talks, courses for Haskell programming language. 2017-10-17T13:24:26Z
70 ImplicitCAD 1018 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 1013 239 Haskell 67 A fast Haskell JSON library 2021-06-21T13:38:45Z
72 HaLVM 1010 85 Haskell 37 The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen 2018-12-06T17:24:40Z
73 clash-compiler 1008 106 Haskell 191 Haskell to VHDL/Verilog/SystemVerilog compiler 2021-06-21T15:10:22Z
74 kit 988 29 Haskell 19 (INACTIVE) Kit: a magical, high performance programming language, designed for game development. Pre-alpha! 2019-11-18T14:45:01Z
75 dex-lang 984 66 Haskell 119 Research language for array processing in the Haskell/ML family 2021-06-22T01:56:51Z
76 fp-course 971 129 Haskell 17 Functional Programming Course 2020-08-10T04:04:14Z
77 toodles 961 34 Haskell 15 Project management directly from the TODOs in your codebase 2021-06-09T17:48:45Z
78 cryptol 960 98 Haskell 158 Cryptol: The Language of Cryptography 2021-06-17T19:00:08Z
79 ghcid 957 94 Haskell 90 Very low feature GHCi based IDE 2021-06-10T12:04:12Z
80 leksah 941 108 Haskell 227 Haskell IDE 2021-06-19T11:07:23Z
81 kitten 930 36 Haskell 65 A statically typed concatenative systems programming language. 2020-11-03T20:04:33Z
82 reflex 925 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 radicle-alpha 922 33 Haskell 45 A peer-to-peer stack for code collaboration 2020-03-26T14:58:12Z
84 queryparser 921 125 Haskell 21 Parsing and analysis of Vertica, Hive, and Presto SQL. 2020-01-06T05:26:51Z
85 kaleidoscope 889 121 Haskell 9 Haskell LLVM JIT Compiler Tutorial 2020-04-21T09:09:58Z
86 gifcurry 887 38 Haskell 24 😎 The open-source, Haskell-built video editor for GIF makers. 2021-01-04T18:43:23Z
87 unused 878 26 Haskell 1 Deprecated; see https://github.com/unused-code/unused 2020-05-28T02:48:16Z
88 liquidhaskell 875 103 Haskell 381 Liquid Types For Haskell 2021-06-21T12:55:57Z
89 grin 869 28 Haskell 24 GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. 2021-05-28T10:46:18Z
90 wstunnel 862 91 Haskell 5 Tunneling over websocket protocol - Static binary available 2021-06-07T07:00:08Z
91 polysemy 834 59 Haskell 72 ♊ higher-order, no-boilerplate monads 2021-06-02T22:00:32Z
92 matterhorn 831 68 Haskell 55 A feature-rich Unix terminal client for the Mattermost chat system 2021-06-20T23:30:37Z
93 egison 806 33 Haskell 17 The Egison Programming Language 2021-06-21T12:23:45Z
94 software-design-in-haskell 804 47 Haskell 3 Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. 2021-06-05T16:35:57Z
95 Haskell-Turtle-Library 795 86 Haskell 35 Shell programming, Haskell style 2021-04-01T21:48:41Z
96 neut 785 6 Haskell 3 A dependently-typed programming language with compile-time malloc/free determination 2021-05-10T11:41:11Z
97 hasktorch 778 82 Haskell 75 Tensors and neural networks in Haskell 2021-06-22T01:42:47Z
98 stylish-haskell 777 121 Haskell 87 Haskell code prettifier 2021-04-26T17:44:59Z
99 elm-platform 776 132 Haskell 9 Bundle of all core development tools for Elm 2018-08-22T20:51:38Z
100 accelerate 769 96 Haskell 54 Embedded language for high-performance array computations 2021-06-21T09:19:39Z