Github-Ranking/Top100/Haskell.md

Github Ranking

Top 100 Stars in Haskell

Ranking	Project Name	Stars	Forks	Language	Open Issues	Description	Last Commit
1	shellcheck	20651	1054	Haskell	597	ShellCheck, a static analysis tool for shell scripts	2020-07-06T04:07:12Z
2	pandoc	19792	2377	Haskell	672	Universal markup converter	2020-07-19T00:48:35Z
3	graphql-engine	17664	1476	Haskell	1118	Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.	2020-07-18T14:25:13Z
4	postgrest	14620	702	Haskell	101	REST API for any Postgres database	2020-07-16T21:05:59Z
5	semantic	7637	396	Haskell	98	Parsing, analyzing, and comparing source code across many languages	2020-07-17T13:50:21Z
6	purescript	6602	481	Haskell	263	A strongly-typed language that compiles to JavaScript	2020-07-13T19:28:35Z
7	compiler	6037	517	Haskell	194	Compiler for Elm, a functional language for reliable webapps.	2020-06-18T08:43:27Z
8	penrose	4464	204	Haskell	142	Create beautiful diagrams just by typing mathematical notation in plain text.	2020-07-17T15:55:11Z
9	hadolint	3853	166	Haskell	80	Dockerfile linter, validate inline bash, written in Haskell	2020-06-21T16:54:33Z
10	Haxl	3806	303	Haskell	8	A Haskell library that simplifies access to remote data, such as databases or web-based services.	2020-07-15T11:39:43Z
11	Carp	3543	131	Haskell	81	A statically typed lisp, without a GC, for real-time applications.	2020-07-14T17:41:48Z
12	stack	3416	766	Haskell	737	The Haskell Tool Stack	2020-07-09T18:48:59Z
13	cardano-sl	3415	577	Haskell	188	Cryptographic currency implementing Ouroboros PoS protocol	2020-07-17T01:36:58Z
14	unison	3313	159	Haskell	442	A friendly programming language from the future	2020-07-17T19:41:20Z
15	fp-course	3293	1065	Haskell	13	Functional Programming Course	2020-06-18T19:42:37Z
16	Idris-dev	3217	665	Haskell	696	A Dependently Typed Functional Programming Language	2020-06-30T18:46:40Z
17	duckling	3002	554	Haskell	146	Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.	2020-07-17T20:17:27Z
18	write-you-a-haskell	2793	227	Haskell	24	Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)	2019-10-20T17:29:31Z
19	Functional-Programming	2582	161	Haskell	7	Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python	2019-08-06T22:00:55Z
20	haskell-ide-engine	2423	231	Haskell	297	The engine for haskell ide-integration. Not an IDE	2020-06-16T04:56:29Z
21	eta	2421	146	Haskell	241	The Eta Programming Language, a dialect of Haskell on the JVM	2019-11-30T21:26:00Z
22	ghc	2376	630	Haskell	9	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).	2020-07-18T22:39:57Z
23	ghcjs	2335	171	Haskell	273	Haskell to JavaScript compiler, based on GHC	2020-06-04T07:31:24Z
24	yesod	2254	349	Haskell	92	A RESTful Haskell web framework built on WAI.	2020-07-06T04:44:24Z
25	hakyll	2171	370	Haskell	114	A static website compiler library in Haskell	2020-06-30T13:05:17Z
26	wire-server	2168	288	Haskell	53	🇪🇺 Wire back-end services	2020-07-18T05:58:51Z
27	IHaskell	2139	226	Haskell	34	A Haskell kernel for IPython.	2020-06-19T10:13:38Z
28	corrode	2021	110	Haskell	79	C to Rust translator	2019-03-10T01:48:47Z
29	wiwinwlh	1864	191	Haskell	3	What I Wish I Knew When Learning Haskell	2020-07-02T13:07:27Z
30	gitit	1802	205	Haskell	203	A wiki using HAppS, pandoc, and git	2020-06-30T06:12:11Z
31	lens	1650	231	Haskell	85	Lenses, Folds, and Traversals - Join us on freenode #haskell-lens	2020-07-17T13:19:06Z
32	lamdu	1645	61	Haskell	4	lamdu - towards the next generation IDE	2020-04-24T17:55:06Z
33	miso	1644	120	Haskell	20	🍜 A tasty Haskell front-end framework	2020-07-09T00:14:31Z
34	HLearn	1564	137	Haskell	24	Homomorphic machine learning	2016-05-29T16:51:53Z
35	xmonad	1495	186	Haskell	77	The core of xmonad, a small but functional ICCCM-compliant tiling window manager	2020-05-29T21:12:42Z
36	hledger	1473	206	Haskell	288	easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger	2020-07-18T19:37:14Z
37	scotty	1446	124	Haskell	46	Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)	2020-05-25T16:13:25Z
38	zsh-git-prompt	1402	339	Haskell	55	Informative git prompt for zsh	2020-01-24T05:57:56Z
39	haste-compiler	1393	110	Haskell	64	A GHC-based Haskell to JavaScript compiler	2019-03-17T10:49:58Z
40	servant	1381	301	Haskell	207	Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!	2020-07-17T14:18:20Z
41	patat	1367	42	Haskell	10	Terminal-based presentations using Pandoc	2020-07-16T16:40:58Z
42	real-world-haskell-cn	1332	206	Haskell	21	《Real World Haskell》中文翻译项目	2020-04-27T15:14:00Z
43	yi	1330	191	Haskell	214	The Haskell-Scriptable Editor	2019-12-09T03:09:46Z
44	haskell	1326	176	Haskell	36	Haskell bindings for TensorFlow	2020-05-21T20:36:53Z
45	grenade	1325	80	Haskell	22	Deep Learning in Haskell	2020-06-02T20:09:24Z
46	asterius	1323	45	Haskell	93	A Haskell to WebAssembly compiler	2020-07-15T14:08:39Z
47	agda	1296	164	Haskell	697	Agda is a dependently typed programming language / interactive theorem prover.	2020-07-17T11:31:13Z
48	futhark	1287	85	Haskell	28	:boom::computer:💥 A data-parallel functional programming language	2020-07-18T16:51:24Z
49	erd	1232	104	Haskell	12	Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.	2020-06-21T21:26:39Z
50	Simula	1228	32	Haskell	7	Linux VR Desktop	2020-07-07T19:54:10Z
51	fay	1225	86	Haskell	18	A proper subset of Haskell that compiles to JavaScript	2020-03-26T19:29:59Z
52	elm-format	1198	131	Haskell	211	elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide	2020-05-26T06:52:26Z
53	Tidal	1190	169	Haskell	82	Pattern language	2020-07-10T19:52:44Z
54	haskell-trainings	1173	82	Haskell	4	Haskell 101 and 102: slides and codelabs	2020-07-11T04:26:00Z
55	cabal	1158	508	Haskell	1432	Official upstream development repository for Cabal and cabal-install	2020-07-16T16:15:06Z
56	codeworld	1100	184	Haskell	264	Educational computer programming environment using Haskell	2020-07-11T01:19:17Z
57	intero	1049	145	Haskell	30	None	2020-01-25T08:48:39Z
58	articles	1025	82	Haskell	2	Miscellaneous articles. The readme is the table of contents.	2020-05-22T10:13:15Z
59	HaLVM	999	87	Haskell	37	The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen	2018-12-06T17:24:40Z
60	hlint	995	123	Haskell	146	Haskell source code suggestions	2020-07-18T17:50:24Z
61	haskell-must-watch	995	58	Haskell	0	Huge list of videos, talks, courses for Haskell programming language.	2017-10-17T13:24:26Z
62	taskell	970	37	Haskell	25	Command-line Kanban board/task manager with support for Trello boards and GitHub projects	2020-06-18T11:03:57Z
63	kit	955	28	Haskell	14	Kit: a magical, high performance programming language, designed for game development. Pre-alpha!	2019-11-18T14:45:01Z
64	toodles	952	33	Haskell	15	Project management directly from the TODOs in your codebase	2019-08-20T23:25:09Z
65	fp-course	943	127	Haskell	16	Functional Programming Course	2020-06-08T02:00:10Z
66	aeson	943	221	Haskell	56	A fast Haskell JSON library	2020-06-27T11:24:26Z
67	brick	934	105	Haskell	2	A declarative Unix terminal UI programming library written in Haskell	2020-07-09T22:23:40Z
68	leksah	921	110	Haskell	224	Haskell IDE	2020-07-05T13:11:20Z
69	radicle	904	33	Haskell	45	A peer-to-peer stack for code collaboration	2020-03-26T14:58:12Z
70	unused	900	27	Haskell	0	Deprecated; see https://github.com/unused-code/unused	2020-05-28T02:48:16Z
71	cryptol	885	93	Haskell	99	Cryptol: The Language of Cryptography	2020-07-17T23:59:44Z
72	reflex	877	125	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.	2020-07-12T10:23:28Z
73	aura	876	80	Haskell	3	A secure, multilingual package manager for Arch Linux and the AUR.	2020-07-15T17:38:11Z
74	ImplicitCAD	873	123	Haskell	45	A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...	2020-07-12T16:50:36Z
75	clash-compiler	872	91	Haskell	153	Haskell to VHDL/Verilog/SystemVerilog compiler	2020-07-16T15:37:56Z
76	ghcid	864	89	Haskell	84	Very low feature GHCi based IDE	2020-07-09T11:34:11Z
77	queryparser	836	104	Haskell	20	Parsing and analysis of Vertica, Hive, and Presto SQL.	2020-01-06T05:26:51Z
78	kaleidoscope	826	111	Haskell	9	Haskell LLVM JIT Compiler Tutorial	2020-04-21T09:09:58Z
79	kitten	810	32	Haskell	63	A statically typed concatenative systems programming language.	2019-10-27T19:06:21Z
80	koka	797	46	Haskell	55	Koka language compiler and interpreter	2020-07-19T01:45:48Z
81	elm-platform	781	129	Haskell	9	Bundle of all core development tools for Elm	2018-08-22T20:51:38Z
82	Haskell-Turtle-Library	776	83	Haskell	34	Shell programming, Haskell style	2020-06-06T01:13:58Z
83	liquidhaskell	769	99	Haskell	350	Liquid Types For Haskell	2020-07-17T11:04:03Z
84	haskell-language-server	756	39	Haskell	59	Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.	2020-07-17T19:30:58Z
85	neut	749	5	Haskell	3	A dependently-typed programming language with compile-time malloc/free determination	2020-06-18T06:38:52Z
86	grin	746	24	Haskell	24	GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.	2020-06-30T07:42:27Z
87	egison	739	31	Haskell	20	The Egison Programming Language	2020-07-14T07:13:13Z
88	oden	738	26	Haskell	15	The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)	2017-04-11T12:26:50Z
89	matterhorn	729	50	Haskell	52	A feature-rich Unix terminal client for the Mattermost chat system	2020-07-17T19:36:50Z
90	polysemy	724	50	Haskell	65	♊ higher-order, no-boilerplate monads	2020-07-10T22:12:29Z
91	conduit	712	169	Haskell	31	A streaming data library	2020-06-25T13:48:25Z
92	accelerate	702	91	Haskell	55	Embedded language for high-performance array computations	2020-07-16T17:22:13Z
93	bench	698	18	Haskell	8	Command-line benchmark tool	2019-12-10T16:37:42Z
94	stylish-haskell	693	104	Haskell	89	Haskell code prettifier	2020-07-14T10:00:50Z
95	LtuPatternFactory	693	34	Haskell	6	Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns	2020-04-25T19:01:51Z
96	ghc-mod	691	189	Haskell	115	Happy Haskell Hacking for editors. DEPRECATED	2019-06-17T17:22:20Z
97	dnngraph	691	56	Haskell	8	A DSL for deep neural networks, supporting Caffe and Torch	2015-12-07T04:39:34Z
98	cgrep	686	38	Haskell	1	Cgrep: a context-aware grep for source codes	2020-03-08T10:43:21Z
99	optparse-applicative	656	86	Haskell	34	Applicative option parser	2020-07-12T12:23:22Z
100	detexify-hs-backend	653	41	Haskell	1	Detexify Backend written in Haskell	2016-12-26T21:00:50Z