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	21037	1083	Haskell	595	ShellCheck, a static analysis tool for shell scripts	2020-08-20T11:07:46Z
2	pandoc	20073	2426	Haskell	697	Universal markup converter	2020-08-19T09:26:13Z
3	graphql-engine	18234	1522	Haskell	1180	Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.	2020-08-20T18:17:37Z
4	postgrest	14740	715	Haskell	109	REST API for any Postgres database	2020-08-15T02:12:59Z
5	semantic	7725	408	Haskell	96	Parsing, analyzing, and comparing source code across many languages	2020-07-30T20:51:20Z
6	purescript	6649	488	Haskell	268	A strongly-typed language that compiles to JavaScript	2020-08-20T11:07:35Z
7	compiler	6068	525	Haskell	196	Compiler for Elm, a functional language for reliable webapps.	2020-08-17T01:00:04Z
8	penrose	4573	217	Haskell	145	Create beautiful diagrams just by typing mathematical notation in plain text.	2020-08-20T17:56:27Z
9	hadolint	3957	172	Haskell	92	Dockerfile linter, validate inline bash, written in Haskell	2020-08-16T09:27:22Z
10	Haxl	3824	304	Haskell	8	A Haskell library that simplifies access to remote data, such as databases or web-based services.	2020-08-13T16:16:44Z
11	Carp	3567	132	Haskell	82	A statically typed lisp, without a GC, for real-time applications.	2020-08-19T02:54:15Z
12	stack	3425	762	Haskell	752	The Haskell Tool Stack	2020-08-15T20:02:16Z
13	cardano-sl	3422	583	Haskell	189	Cryptographic currency implementing Ouroboros PoS protocol	2020-07-30T15:22:04Z
14	unison	3350	160	Haskell	448	A friendly programming language from the future	2020-08-21T00:55:00Z
15	fp-course	3339	1065	Haskell	13	Functional Programming Course	2020-06-18T19:42:37Z
16	Idris-dev	3224	664	Haskell	701	A Dependently Typed Functional Programming Language	2020-08-07T21:00:04Z
17	duckling	3030	560	Haskell	147	Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.	2020-08-18T13:35:12Z
18	write-you-a-haskell	2801	229	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	2446	232	Haskell	300	The engine for haskell ide-integration. Not an IDE	2020-08-05T11:18:24Z
21	eta	2422	145	Haskell	241	The Eta Programming Language, a dialect of Haskell on the JVM	2019-11-30T21:26:00Z
22	ghc	2390	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-08-20T15:31:00Z
23	ghcjs	2350	171	Haskell	274	Haskell to JavaScript compiler, based on GHC	2020-06-04T07:31:24Z
24	yesod	2265	349	Haskell	92	A RESTful Haskell web framework built on WAI.	2020-08-09T16:34:30Z
25	wire-server	2182	295	Haskell	52	🇪🇺 Wire back-end services	2020-08-20T13:32:41Z
26	hakyll	2180	370	Haskell	118	A static website compiler library in Haskell	2020-08-11T09:45:13Z
27	IHaskell	2149	228	Haskell	34	A Haskell kernel for IPython.	2020-08-12T16:57:15Z
28	corrode	2023	110	Haskell	79	C to Rust translator	2019-03-10T01:48:47Z
29	wiwinwlh	1909	198	Haskell	3	What I Wish I Knew When Learning Haskell	2020-08-12T14:23:10Z
30	gitit	1808	205	Haskell	203	A wiki using HAppS, pandoc, and git	2020-06-30T06:12:11Z
31	lens	1663	233	Haskell	88	Lenses, Folds, and Traversals - Join us on freenode #haskell-lens	2020-08-09T11:38:01Z
32	miso	1656	118	Haskell	22	🍜 A tasty Haskell front-end framework	2020-07-27T23:14:53Z
33	lamdu	1651	61	Haskell	4	lamdu - towards the next generation IDE	2020-04-24T17:55:06Z
34	HLearn	1564	137	Haskell	24	Homomorphic machine learning	2016-05-29T16:51:53Z
35	xmonad	1531	190	Haskell	77	The core of xmonad, a small but functional ICCCM-compliant tiling window manager	2020-05-29T21:12:42Z
36	hledger	1508	207	Haskell	294	easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger	2020-08-21T02:16:59Z
37	scotty	1447	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	1417	339	Haskell	55	Informative git prompt for zsh	2020-01-24T05:57:56Z
39	haste-compiler	1396	110	Haskell	64	A GHC-based Haskell to JavaScript compiler	2019-03-17T10:49:58Z
40	servant	1388	304	Haskell	211	Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!	2020-08-11T08:07:30Z
41	patat	1381	41	Haskell	9	Terminal-based presentations using Pandoc	2020-07-16T16:40:58Z
42	asterius	1377	45	Haskell	100	A Haskell to WebAssembly compiler	2020-08-20T16:07:59Z
43	real-world-haskell-cn	1341	208	Haskell	21	《Real World Haskell》中文翻译项目	2020-04-27T15:14:00Z
44	grenade	1330	80	Haskell	22	Deep Learning in Haskell	2020-06-02T20:09:24Z
45	haskell	1330	179	Haskell	38	Haskell bindings for TensorFlow	2020-05-21T20:36:53Z
46	yi	1329	193	Haskell	214	The Haskell-Scriptable Editor	2019-12-09T03:09:46Z
47	agda	1322	168	Haskell	700	Agda is a dependently typed programming language / interactive theorem prover.	2020-08-20T15:55:32Z
48	futhark	1299	86	Haskell	35	:boom::computer:💥 A data-parallel functional programming language	2020-08-20T23:03:03Z
49	Simula	1273	33	Haskell	8	Linux VR Desktop	2020-08-20T02:51:07Z
50	erd	1245	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	1204	131	Haskell	217	elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide	2020-07-25T04:45:24Z
53	Tidal	1200	169	Haskell	84	Pattern language	2020-08-14T12:31:18Z
54	haskell-trainings	1176	83	Haskell	4	Haskell 101 and 102: slides and codelabs	2020-07-11T04:26:00Z
55	cabal	1166	512	Haskell	1449	Official upstream development repository for Cabal and cabal-install	2020-08-20T21:23:23Z
56	codeworld	1107	186	Haskell	273	Educational computer programming environment using Haskell	2020-08-20T11:30:39Z
57	intero	1046	145	Haskell	30	None	2020-01-25T08:48:39Z
58	articles	1025	82	Haskell	3	Miscellaneous articles. The readme is the table of contents.	2020-05-22T10:13:15Z
59	hlint	1017	128	Haskell	149	Haskell source code suggestions	2020-08-20T21:09:07Z
60	HaLVM	1000	87	Haskell	37	The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen	2018-12-06T17:24:40Z
61	taskell	997	38	Haskell	26	Command-line Kanban board/task manager with support for Trello boards and GitHub projects	2020-08-10T15:29:42Z
62	haskell-must-watch	997	57	Haskell	0	Huge list of videos, talks, courses for Haskell programming language.	2017-10-17T13:24:26Z
63	brick	970	107	Haskell	5	A declarative Unix terminal UI programming library written in Haskell	2020-08-20T19:15:42Z
64	kit	955	28	Haskell	15	Kit: a magical, high performance programming language, designed for game development. Pre-alpha!	2019-11-18T14:45:01Z
65	toodles	954	33	Haskell	15	Project management directly from the TODOs in your codebase	2019-08-20T23:25:09Z
66	aeson	947	222	Haskell	57	A fast Haskell JSON library	2020-08-15T00:35:19Z
67	fp-course	946	130	Haskell	17	Functional Programming Course	2020-08-10T04:04:14Z
68	leksah	924	110	Haskell	224	Haskell IDE	2020-08-02T16:01:34Z
69	radicle	905	33	Haskell	45	A peer-to-peer stack for code collaboration	2020-03-26T14:58:12Z
70	aura	898	78	Haskell	4	A secure, multilingual package manager for Arch Linux and the AUR.	2020-08-20T14:36:23Z
71	unused	894	27	Haskell	1	Deprecated; see https://github.com/unused-code/unused	2020-05-28T02:48:16Z
72	cryptol	889	93	Haskell	107	Cryptol: The Language of Cryptography	2020-08-20T19:24:25Z
73	clash-compiler	885	94	Haskell	156	Haskell to VHDL/Verilog/SystemVerilog compiler	2020-08-20T15:41:35Z
74	reflex	881	126	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-07-12T10:23:28Z
75	ghcid	879	89	Haskell	85	Very low feature GHCi based IDE	2020-08-12T11:15:48Z
76	ImplicitCAD	878	123	Haskell	46	A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...	2020-08-16T17:58:51Z
77	haskell-language-server	861	56	Haskell	106	Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.	2020-08-20T22:52:24Z
78	queryparser	845	106	Haskell	20	Parsing and analysis of Vertica, Hive, and Presto SQL.	2020-01-06T05:26:51Z
79	ihp	834	35	Haskell	61	λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.	2020-08-20T09:22:17Z
80	kaleidoscope	829	112	Haskell	9	Haskell LLVM JIT Compiler Tutorial	2020-04-21T09:09:58Z
81	kitten	814	32	Haskell	64	A statically typed concatenative systems programming language.	2019-10-27T19:06:21Z
82	koka	806	48	Haskell	56	Koka language compiler and interpreter	2020-08-21T01:37:03Z
83	elm-platform	780	129	Haskell	9	Bundle of all core development tools for Elm	2018-08-22T20:51:38Z
84	liquidhaskell	775	100	Haskell	356	Liquid Types For Haskell	2020-08-19T15:06:54Z
85	Haskell-Turtle-Library	774	83	Haskell	34	Shell programming, Haskell style	2020-08-15T05:54:04Z
86	grin	757	24	Haskell	24	GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.	2020-08-17T21:19:45Z
87	neut	757	5	Haskell	3	A dependently-typed programming language with compile-time malloc/free determination	2020-06-18T06:38:52Z
88	egison	747	31	Haskell	19	The Egison Programming Language	2020-08-20T07:05:06Z
89	matterhorn	742	50	Haskell	50	A feature-rich Unix terminal client for the Mattermost chat system	2020-08-20T21:55:49Z
90	oden	738	26	Haskell	15	The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)	2017-04-11T12:26:50Z
91	polysemy	738	52	Haskell	65	♊ higher-order, no-boilerplate monads	2020-07-31T05:15:45Z
92	conduit	713	170	Haskell	30	A streaming data library	2020-08-12T07:06:53Z
93	accelerate	706	92	Haskell	55	Embedded language for high-performance array computations	2020-08-20T10:57:33Z
94	stylish-haskell	705	106	Haskell	93	Haskell code prettifier	2020-08-17T18:07:38Z
95	bench	697	18	Haskell	8	Command-line benchmark tool	2020-08-16T15:18:42Z
96	LtuPatternFactory	696	35	Haskell	6	Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns	2020-04-25T19:01:51Z
97	dnngraph	692	56	Haskell	8	A DSL for deep neural networks, supporting Caffe and Torch	2015-12-07T04:39:34Z
98	ghc-mod	691	189	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	667	31	Haskell	15	😎 The open-source, Haskell-built video editor for GIF makers.	2019-09-11T07:20:10Z