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	36872	1794	Haskell	1062	ShellCheck, a static analysis tool for shell scripts	2024-12-14T05:42:11Z
2	pandoc	35712	3435	Haskell	1029	Universal markup converter	2025-02-07T23:26:15Z
3	postgrest	24544	1055	Haskell	263	REST API for any Postgres database	2025-02-04T17:04:34Z
4	hadolint	10663	428	Haskell	210	Dockerfile linter, validate inline bash, written in Haskell	2024-12-09T08:05:16Z
5	semantic	9002	451	Haskell	111	Parsing, analyzing, and comparing source code across many languages	2024-07-24T03:56:04Z
6	purescript	8637	566	Haskell	274	A strongly-typed language that compiles to JavaScript	2024-09-29T06:33:12Z
7	compiler	7599	659	Haskell	316	Compiler for Elm, a functional language for reliable webapps.	2024-07-17T21:53:51Z
8	unison	5893	273	Haskell	1089	A friendly programming language from the future	2025-02-07T21:04:45Z
9	Carp	5608	174	Haskell	133	A statically typed lisp, without a GC, for real-time applications.	2024-11-26T10:58:51Z
10	ihp	4985	201	Haskell	243	🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness	2025-02-06T00:38:59Z
11	Haxl	4287	311	Haskell	3	A Haskell library that simplifies access to remote data, such as databases or web-based services.	2024-11-19T13:29:04Z
12	kmonad	4261	326	Haskell	205	An advanced keyboard manager	2025-02-03T06:51:50Z
13	fp-course	4157	1198	Haskell	15	Functional Programming Course	2024-12-02T00:31:53Z
14	duckling	4110	726	Haskell	122	Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.	2024-10-03T22:59:00Z
15	stack	3990	841	Haskell	583	The Haskell Tool Stack	2025-02-07T23:40:29Z
16	cardano-sl	3766	629	Haskell	184	Cryptographic currency implementing Ouroboros PoS protocol	2020-07-30T15:22:04Z
17	Kind	3622	146	Haskell	3	A modern proof language	2025-01-22T16:54:12Z
18	Idris-dev	3437	641	Haskell	691	A Dependently Typed Functional Programming Language	2024-08-02T13:40:34Z
19	koka	3413	169	Haskell	155	Koka language compiler and interpreter	2025-02-07T15:14:12Z
20	xmonad	3407	296	Haskell	46	The core of xmonad, a small but functional ICCCM-compliant tiling window manager	2025-01-26T23:08:54Z
21	write-you-a-haskell	3363	255	Haskell	22	Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)	2021-01-11T13:56:03Z
22	hledger	3149	322	Haskell	339	Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.	2025-02-06T22:17:10Z
23	awesome-haskell	3128	172	Haskell	10	A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.	2023-04-13T20:54:30Z
24	cardano-node	3100	722	Haskell	271	The core component that is used to participate in a Cardano decentralised blockchain.	2025-02-08T04:01:14Z
25	ghc	3084	710	Haskell	0	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).	2025-02-07T23:50:14Z
26	Simula	3013	91	Haskell	62	Linux VR Desktop	2024-12-14T22:46:21Z
27	echidna	2817	386	Haskell	120	Ethereum smart contract fuzzer	2025-02-07T21:01:57Z
28	haskell-language-server	2749	372	Haskell	462	Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.	2025-01-24T10:00:50Z
29	hakyll	2726	409	Haskell	95	A static website compiler library in Haskell	2025-01-31T22:04:28Z
30	Functional-Programming	2692	158	Haskell	5	Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python	2019-08-06T22:00:55Z
31	yesod	2656	373	Haskell	102	A RESTful Haskell web framework built on WAI.	2025-02-01T06:28:49Z
32	wire-server	2656	325	Haskell	44	🇪🇺 Wire back-end services	2025-02-07T16:46:36Z
33	eta	2616	140	Haskell	238	The Eta Programming Language, a dialect of Haskell on the JVM	2022-07-31T17:14:19Z
34	ghcjs	2610	186	Haskell	278	Haskell to JavaScript compiler, based on GHC	2023-01-21T23:46:36Z
35	xdg-ninja	2604	150	Haskell	24	A shell script which checks your $HOME for unwanted files and directories.	2025-02-06T16:29:06Z
36	wiwinwlh	2586	241	Haskell	0	What I Wish I Knew When Learning Haskell	2022-02-25T06:38:14Z
37	agda	2567	366	Haskell	996	Agda is a dependently typed programming language / interactive theorem prover.	2025-02-06T16:19:29Z
38	patat	2487	62	Haskell	12	Terminal-based presentations using Pandoc	2025-02-06T08:21:51Z
39	futhark	2459	173	Haskell	63	:boom::computer:💥 A data-parallel functional programming language	2025-02-07T12:47:04Z
40	haskell-ide-engine	2378	206	Haskell	294	The engine for haskell ide-integration. Not an IDE	2020-12-23T06:21:46Z
41	Tidal	2334	261	Haskell	125	Pattern language	2025-02-07T18:01:54Z
42	miso	2221	141	Haskell	18	🍜 A tasty Haskell front-end framework	2024-12-13T23:47:54Z
43	gitit	2172	225	Haskell	191	A wiki using HAppS, pandoc, and git	2025-01-13T20:03:24Z
44	corrode	2165	116	Haskell	65	C to Rust translator	2019-03-10T01:48:47Z
45	dapptools	2108	326	Haskell	145	Dapp, Seth, Hevm, and more	2023-09-11T06:53:03Z
46	lens	2042	275	Haskell	96	Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens	2025-01-22T12:44:51Z
47	asterius	1970	58	Haskell	106	DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc	2022-11-14T00:45:01Z
48	lamdu	1859	71	Haskell	22	lamdu - towards the next generation IDE	2025-01-12T21:28:33Z
49	servant	1847	414	Haskell	267	Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!	2025-02-07T11:47:39Z
50	erd	1816	152	Haskell	16	Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.	2024-09-09T12:30:17Z
51	aura	1793	115	Haskell	44	A multilingual package manager for Arch Linux and the AUR.	2025-01-04T07:45:01Z
52	taskell	1742	73	Haskell	0	Command-line Kanban board/task manager with support for Trello boards and GitHub projects	2023-10-03T06:57:40Z
53	zsh-git-prompt	1729	399	Haskell	34	Informative git prompt for zsh	2023-11-08T03:54:12Z
54	scotty	1727	134	Haskell	28	Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)	2025-01-27T04:56:34Z
55	niv	1661	77	Haskell	80	Easy dependency management for Nix projects	2025-01-09T15:37:27Z
56	cabal	1647	702	Haskell	1710	Official upstream development repository for Cabal and cabal-install	2025-02-03T18:13:05Z
57	HLearn	1624	133	Haskell	22	Homomorphic machine learning	2016-05-29T16:51:53Z
58	brick	1622	164	Haskell	4	A declarative Unix terminal UI library written in Haskell	2025-01-31T18:30:30Z
59	dex-lang	1602	109	Haskell	106	Research language for array processing in the Haskell/ML family	2025-01-25T03:31:39Z
60	haskell	1588	198	Haskell	37	Haskell bindings for TensorFlow	2024-08-15T15:09:36Z
61	plutus	1585	481	Haskell	218	The Plutus language implementation and tools	2025-02-07T21:50:43Z
62	real-world-haskell-cn	1564	230	Haskell	15	《Real World Haskell》中文翻译项目	2022-02-14T13:35:16Z
63	neuron	1522	150	Haskell	23	Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)	2023-05-22T16:29:04Z
64	yi	1516	203	Haskell	205	The Haskell-Scriptable Editor	2024-11-01T13:05:53Z
65	hlint	1494	198	Haskell	253	Haskell source code suggestions	2025-02-02T22:54:02Z
66	clash-compiler	1462	156	Haskell	319	Haskell to VHDL/Verilog/SystemVerilog compiler	2025-02-05T15:51:56Z
67	grenade	1452	83	Haskell	17	Deep Learning in Haskell	2023-12-08T21:23:07Z
68	haste-compiler	1440	111	Haskell	63	A GHC-based Haskell to JavaScript compiler	2019-03-17T10:49:58Z
69	haskell-trainings	1401	109	Haskell	4	Haskell 101 and 102: slides and codelabs	2023-04-10T00:27:48Z
70	plutus-pioneer-program	1389	991	Haskell	2	This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.	2024-10-28T15:20:05Z
71	greenclip	1384	33	Haskell	0	Simple clipboard manager to be integrated with rofi - Static binary available	2023-10-01T15:33:08Z
72	gifcurry	1374	57	Haskell	37	😎 The open-source, Haskell-built video editor for GIF makers.	2021-08-13T16:19:41Z
73	course-plan	1333	57	Haskell	0	📜 Haskell course info, plan, video lectures, slides	2023-07-09T14:01:05Z
74	fossa-cli	1325	179	Haskell	57	Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.	2025-02-07T23:03:58Z
75	elm-format	1318	148	Haskell	216	elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide	2023-04-13T18:43:21Z
76	fay	1282	89	Haskell	22	A proper subset of Haskell that compiles to JavaScript	2021-06-09T15:10:00Z
77	aeson	1265	323	Haskell	64	A fast Haskell JSON library	2025-01-15T06:44:43Z
78	Publications	1264	38	Haskell	4	Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com	2025-01-10T12:21:23Z
79	articles	1256	92	Haskell	0	Miscellaneous articles. The readme is the table of contents.	2023-07-12T09:28:11Z
80	codeworld	1250	197	Haskell	425	Educational computer programming environment using Haskell	2024-12-17T21:31:24Z
81	liquidhaskell	1219	139	Haskell	421	Liquid Types For Haskell	2025-02-08T02:13:50Z
82	developers-roadmap	1201	263	Haskell	51	How to learn front-end or back-end development	2025-02-05T17:08:50Z
83	ghcid	1150	112	Haskell	111	Very low feature GHCi based IDE	2024-03-01T13:09:46Z
84	reanimate	1140	63	Haskell	25	Haskell library for building declarative animations based on SVG graphics	2025-02-06T18:32:33Z
85	cryptol	1139	123	Haskell	239	Cryptol: The Language of Cryptography	2025-02-07T15:58:47Z
86	haskell-must-watch	1135	59	Haskell	0	Huge list of videos, talks, courses for Haskell programming language.	2017-10-17T13:24:26Z
87	kitten	1109	40	Haskell	65	A statically typed concatenative systems programming language.	2023-04-10T00:10:33Z
88	software-design-in-haskell	1091	69	Haskell	4	Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.	2024-12-18T11:27:13Z
89	hasktorch	1090	109	Haskell	72	Tensors and neural networks in Haskell	2025-02-07T18:19:34Z
90	reflex	1080	150	Haskell	76	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.	2025-01-21T15:38:58Z
91	queryparser	1078	147	Haskell	22	Parsing and analysis of Vertica, Hive, and Presto SQL.	2022-02-16T11:16:33Z
92	matterhorn	1063	78	Haskell	23	A feature-rich Unix terminal client for the Mattermost chat system	2024-12-04T20:35:04Z
93	HaLVM	1056	79	Haskell	37	The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen	2018-12-06T17:24:40Z
94	polysemy	1042	73	Haskell	43	♊ higher-order, no-boilerplate monads	2025-02-02T14:06:48Z
95	kaleidoscope	1037	129	Haskell	8	Haskell LLVM JIT Compiler Tutorial	2020-04-21T09:09:58Z
96	grin	1034	38	Haskell	26	GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.	2023-04-28T14:15:23Z
97	fp-course	1031	133	Haskell	6	Functional Programming Course	2023-03-06T02:28:36Z
98	linux_notification_center	1021	40	Haskell	39	A notification daemon/center for linux	2025-02-06T11:12:49Z
99	kit	1021	29	Haskell	17	Kit: a magical, high performance programming language, designed for game development.	2021-08-14T01:21:10Z
100	learn4haskell	1013	847	Haskell	8	👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests	2024-06-28T18:49:09Z