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	21217	1095	Haskell	596	ShellCheck, a static analysis tool for shell scripts	2020-09-03T10:40:51Z
2	pandoc	20200	2457	Haskell	706	Universal markup converter	2020-09-06T23:57:48Z
3	graphql-engine	18474	1537	Haskell	1210	Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.	2020-09-06T20:56:30Z
4	postgrest	14785	717	Haskell	111	REST API for any Postgres database	2020-09-05T08:21:37Z
5	semantic	7737	413	Haskell	97	Parsing, analyzing, and comparing source code across many languages	2020-09-02T20:08:26Z
6	purescript	6671	486	Haskell	265	A strongly-typed language that compiles to JavaScript	2020-09-06T19:03:49Z
7	compiler	6099	527	Haskell	199	Compiler for Elm, a functional language for reliable webapps.	2020-08-17T01:00:04Z
8	penrose	4612	222	Haskell	155	Create beautiful diagrams just by typing mathematical notation in plain text.	2020-09-06T03:42:39Z
9	hadolint	4000	173	Haskell	94	Dockerfile linter, validate inline bash, written in Haskell	2020-08-16T09:27:22Z
10	Haxl	3837	304	Haskell	9	A Haskell library that simplifies access to remote data, such as databases or web-based services.	2020-09-01T19:15:05Z
11	Carp	3579	132	Haskell	87	A statically typed lisp, without a GC, for real-time applications.	2020-08-26T18:58:13Z
12	stack	3428	761	Haskell	759	The Haskell Tool Stack	2020-08-29T13:48:11Z
13	cardano-sl	3423	583	Haskell	189	Cryptographic currency implementing Ouroboros PoS protocol	2020-07-30T15:22:04Z
14	unison	3384	161	Haskell	456	A friendly programming language from the future	2020-09-06T14:00:20Z
15	fp-course	3343	1068	Haskell	13	Functional Programming Course	2020-09-01T09:41:40Z
16	Idris-dev	3231	664	Haskell	700	A Dependently Typed Functional Programming Language	2020-08-28T08:39:02Z
17	duckling	3045	562	Haskell	154	Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.	2020-09-02T14:29:07Z
18	write-you-a-haskell	2812	230	Haskell	24	Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)	2019-10-20T17:29:31Z
19	Functional-Programming	2584	162	Haskell	7	Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python	2019-08-06T22:00:55Z
20	haskell-ide-engine	2450	232	Haskell	301	The engine for haskell ide-integration. Not an IDE	2020-08-05T11:18:24Z
21	eta	2427	145	Haskell	241	The Eta Programming Language, a dialect of Haskell on the JVM	2019-11-30T21:26:00Z
22	ghc	2398	627	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-09-07T02:44:09Z
23	ghcjs	2359	170	Haskell	275	Haskell to JavaScript compiler, based on GHC	2020-06-04T07:31:24Z
24	yesod	2274	350	Haskell	92	A RESTful Haskell web framework built on WAI.	2020-08-09T16:34:30Z
25	hakyll	2190	372	Haskell	122	A static website compiler library in Haskell	2020-08-30T12:12:40Z
26	wire-server	2189	298	Haskell	54	🇪🇺 Wire back-end services	2020-09-04T18:52:11Z
27	IHaskell	2165	229	Haskell	34	A Haskell kernel for IPython.	2020-08-25T14:02:11Z
28	corrode	2022	110	Haskell	79	C to Rust translator	2019-03-10T01:48:47Z
29	wiwinwlh	1920	200	Haskell	5	What I Wish I Knew When Learning Haskell	2020-09-04T02:38:38Z
30	gitit	1835	208	Haskell	204	A wiki using HAppS, pandoc, and git	2020-08-27T20:31:29Z
31	lens	1665	233	Haskell	88	Lenses, Folds, and Traversals - Join us on freenode #haskell-lens	2020-08-09T11:38:01Z
32	miso	1662	120	Haskell	24	🍜 A tasty Haskell front-end framework	2020-09-05T14:26:52Z
33	lamdu	1650	61	Haskell	4	lamdu - towards the next generation IDE	2020-04-24T17:55:06Z
34	HLearn	1567	137	Haskell	24	Homomorphic machine learning	2016-05-29T16:51:53Z
35	xmonad	1543	191	Haskell	73	The core of xmonad, a small but functional ICCCM-compliant tiling window manager	2020-08-25T10:49:54Z
36	hledger	1514	207	Haskell	299	easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger	2020-09-07T02:11:30Z
37	scotty	1454	123	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	1423	344	Haskell	56	Informative git prompt for zsh	2020-09-05T05:09:22Z
39	asterius	1401	46	Haskell	104	A Haskell to WebAssembly compiler	2020-09-06T14:58:22Z
40	servant	1400	307	Haskell	212	Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!	2020-09-03T04:43:11Z
41	haste-compiler	1396	109	Haskell	64	A GHC-based Haskell to JavaScript compiler	2019-03-17T10:49:58Z
42	patat	1386	41	Haskell	9	Terminal-based presentations using Pandoc	2020-09-03T15:11:41Z
43	real-world-haskell-cn	1349	208	Haskell	21	《Real World Haskell》中文翻译项目	2020-04-27T15:14:00Z
44	agda	1341	170	Haskell	719	Agda is a dependently typed programming language / interactive theorem prover.	2020-09-06T19:40:10Z
45	haskell	1338	180	Haskell	39	Haskell bindings for TensorFlow	2020-08-28T15:56:27Z
46	yi	1333	193	Haskell	214	The Haskell-Scriptable Editor	2019-12-09T03:09:46Z
47	grenade	1331	81	Haskell	22	Deep Learning in Haskell	2020-06-02T20:09:24Z
48	futhark	1313	87	Haskell	31	:boom::computer:💥 A data-parallel functional programming language	2020-09-06T23:47:54Z
49	Simula	1278	33	Haskell	8	Linux VR Desktop	2020-08-22T03:01:03Z
50	erd	1251	104	Haskell	12	Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.	2020-06-21T21:26:39Z
51	fay	1228	86	Haskell	18	A proper subset of Haskell that compiles to JavaScript	2020-03-26T19:29:59Z
52	elm-format	1208	132	Haskell	213	elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide	2020-09-01T02:49:26Z
53	Tidal	1204	169	Haskell	89	Pattern language	2020-08-26T22:30:16Z
54	haskell-trainings	1181	83	Haskell	4	Haskell 101 and 102: slides and codelabs	2020-07-11T04:26:00Z
55	cabal	1173	514	Haskell	1397	Official upstream development repository for Cabal and cabal-install	2020-09-06T20:31:08Z
56	codeworld	1113	186	Haskell	267	Educational computer programming environment using Haskell	2020-09-07T00:53:10Z
57	intero	1046	145	Haskell	30	None	2020-01-25T08:48:39Z
58	articles	1029	82	Haskell	3	Miscellaneous articles. The readme is the table of contents.	2020-05-22T10:13:15Z
59	hlint	1022	131	Haskell	151	Haskell source code suggestions	2020-09-06T22:17:17Z
60	taskell	1004	38	Haskell	27	Command-line Kanban board/task manager with support for Trello boards and GitHub projects	2020-08-10T15:29:42Z
61	HaLVM	1001	87	Haskell	37	The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen	2018-12-06T17:24:40Z
62	haskell-must-watch	998	57	Haskell	0	Huge list of videos, talks, courses for Haskell programming language.	2017-10-17T13:24:26Z
63	brick	975	109	Haskell	7	A declarative Unix terminal UI programming library written in Haskell	2020-09-02T15:17:54Z
64	kit	959	28	Haskell	15	Kit: a magical, high performance programming language, designed for game development. Pre-alpha!	2019-11-18T14:45:01Z
65	toodles	953	33	Haskell	15	Project management directly from the TODOs in your codebase	2019-08-20T23:25:09Z
66	aeson	948	227	Haskell	57	A fast Haskell JSON library	2020-09-04T07:43:05Z
67	fp-course	946	132	Haskell	17	Functional Programming Course	2020-08-10T04:04:14Z
68	leksah	928	110	Haskell	225	Haskell IDE	2020-08-02T16:01:34Z
69	aura	909	79	Haskell	5	A secure, multilingual package manager for Arch Linux and the AUR.	2020-09-04T21:27:12Z
70	radicle	906	33	Haskell	45	A peer-to-peer stack for code collaboration	2020-03-26T14:58:12Z
71	cryptol	897	93	Haskell	111	Cryptol: The Language of Cryptography	2020-09-04T19:34:28Z
72	haskell-language-server	896	66	Haskell	120	Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.	2020-09-06T18:54:19Z
73	unused	892	27	Haskell	1	Deprecated; see https://github.com/unused-code/unused	2020-05-28T02:48:16Z
74	clash-compiler	888	95	Haskell	161	Haskell to VHDL/Verilog/SystemVerilog compiler	2020-09-04T07:37:22Z
75	reflex	884	125	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.	2020-08-27T18:40:30Z
76	ImplicitCAD	881	123	Haskell	46	A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...	2020-08-16T17:58:51Z
77	ghcid	881	89	Haskell	85	Very low feature GHCi based IDE	2020-08-12T11:15:48Z
78	ihp	880	43	Haskell	64	λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.	2020-09-06T21:44:09Z
79	queryparser	852	108	Haskell	20	Parsing and analysis of Vertica, Hive, and Presto SQL.	2020-01-06T05:26:51Z
80	kaleidoscope	831	113	Haskell	9	Haskell LLVM JIT Compiler Tutorial	2020-04-21T09:09:58Z
81	koka	817	50	Haskell	59	Koka language compiler and interpreter	2020-09-06T20:32:58Z
82	kitten	817	33	Haskell	64	A statically typed concatenative systems programming language.	2019-10-27T19:06:21Z
83	liquidhaskell	784	101	Haskell	355	Liquid Types For Haskell	2020-09-03T11:06:53Z
84	elm-platform	780	129	Haskell	9	Bundle of all core development tools for Elm	2018-08-22T20:51:38Z
85	Haskell-Turtle-Library	775	83	Haskell	34	Shell programming, Haskell style	2020-08-15T05:54:04Z
86	neut	765	5	Haskell	3	A dependently-typed programming language with compile-time malloc/free determination	2020-06-18T06:38:52Z
87	grin	757	24	Haskell	23	GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.	2020-09-01T07:00:22Z
88	egison	752	31	Haskell	19	The Egison Programming Language	2020-09-04T09:11:04Z
89	matterhorn	747	52	Haskell	52	A feature-rich Unix terminal client for the Mattermost chat system	2020-09-03T13:58:19Z
90	polysemy	744	52	Haskell	65	♊ higher-order, no-boilerplate monads	2020-07-31T05:15:45Z
91	oden	739	26	Haskell	15	The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)	2017-04-11T12:26:50Z
92	accelerate	714	92	Haskell	40	Embedded language for high-performance array computations	2020-09-03T11:17:21Z
93	conduit	713	171	Haskell	30	A streaming data library	2020-09-01T07:43:41Z
94	stylish-haskell	712	107	Haskell	91	Haskell code prettifier	2020-08-31T13:34:04Z
95	bench	700	17	Haskell	8	Command-line benchmark tool	2020-08-16T15:18:42Z
96	LtuPatternFactory	697	35	Haskell	6	Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns	2020-04-25T19:01:51Z
97	dnngraph	692	57	Haskell	8	A DSL for deep neural networks, supporting Caffe and Torch	2015-12-07T04:39:34Z
98	ghc-mod	691	188	Haskell	115	Happy Haskell Hacking for editors. DEPRECATED	2019-06-17T17:22:20Z
99	cgrep	687	38	Haskell	1	Cgrep: a context-aware grep for source codes	2020-03-08T10:43:21Z
100	gifcurry	681	31	Haskell	12	😎 The open-source, Haskell-built video editor for GIF makers.	2020-08-26T01:49:53Z