haskell

Languages

Language	Repos	Stars
all	98	24,653
TeX	7	15,858
Jupyter Notebook	1	2,416
Nix	21	1,876
Scala	1	1,284
Dhall	3	846
SuperCollider	1	399
WebAssembly	2	375
Elm	4	254
Starlark	2	241
Emacs Lisp	1	208
Vim Script	1	122
Svelte	1	107
PureScript	5	107
Coq	4	99
CoffeeScript	1	73
Assembly	1	55
Agda	4	53
Pascal	1	48
Makefile	1	35
Scheme	2	27
Common Lisp	1	25
Prolog	5	22
PLpgSQL	1	21
Red	1	17
Jsonnet	1	17
Markdown	1	15
Idris	1	15
Yacc	1	13
Roff	2	12
Racket	1	9
Perl 6	1	7
F*	1	7
M	1	6
Vim Snippet	1	5
LLVM	1	4
Sass	1	2
Jasmin	1	2
Isabelle	1	2
Futhark	1	2
Frege	1	2
BitBake	2	2
WebIDL	1	1
SMT	1	1
Protocol Buffer	1	1
Forth	1	1
ATS	1	1
Wollok	1	0
Oz	1	0
NASL	1	0
MoonScript	1	0
LiveScript	1	0
Lex	1	0
CWeb	1	0
Brainfuck	1	0

Repos

	Rank	Repo	Stars	Language	Developer
	1	milewski-ctfp-pdf	10,064	TeX	hmemcpy
	2	AlgoXY	5,562	TeX	liuxinyu95
	3	IHaskell	2,450	Jupyter Notebook	IHaskell
	4	intellij-haskell	1,296	Scala	rikvdkleij
	5	dhall-haskell	853	Dhall	dhall-lang
	6	haskell.nix	469	Nix	input-output-hk
	7	SuperDirt	426	SuperCollider	musikinformatik
	8	static-haskell-nix	360	Nix	nh2
	9	wasm	360	WebAssembly	sdiehl
	10	snack	336	Nix	nmattia
	11	rules_haskell	248	Starlark	tweag
	12	lsp-haskell	213	Emacs Lisp	emacs-lsp
	13	selective	200	TeX	snowleopard
	14	all-hies	197	Nix	infinisil
	15	alga-paper	179	TeX	snowleopard
	16	haskell-template	136	Nix	srid
	17	vim-syntax-shakespeare	125	Vim Script	pbrisbin
	18	GALGAGAME	123	Elm	RoganMurley
	19	hie-nix	117	Nix	domenkozar
	20	Fundamental-Haskell	110	Emacs Lisp	Anton-Latukha
	21	haskell-code-spot	107	Svelte	grin-compiler
	22	concise-cheat-sheets	106	TeX	rudymatela
	23	stack2nix	99	Nix	input-output-hk
	24	hs-nix-template	95	Nix	utdemir
	25	grokking-monad	94	TeX	jcouyang
	26	haskell-report	84	TeX	haskell
	27	type-signature-com	79	PureScript	andys8
	28	language-haskell	73	CoffeeScript	atom-haskell
	29	nixkell	71	Nix	pwm
	30	hnix-lsp	67	Nix	domenkozar
	31	hs-to-coq	66	Coq	plclub
	32	haskell-elm-todo-app	62	Elm	sectore
	33	southernexposure.com	61	Elm	Southern-Exposure-Seed-Exchange
	34	haskell-flake	58	Nix	srid
	35	neskell	56	Assembly	blitzcode
	36	easy-hls-nix	55	Nix	jkachmar
	37	Julio	52	Nix	dmjio
	38	backerei	51	Nix	cryptiumlabs
	39	sturdy	49	Pascal	svenkeidel
	40	haskell-hls-nix	47	Nix	shajra
	41	greek-grammar	45	Agda	scott-fleischman
	42	template-haskell	45	Shell	jonascarpay
	43	haskellrustdemo	35	Makefile	creichert
	44	haskellfoundation.github.io	32	HTML	haskellfoundation
	45	free-proving	27	Coq	ichistmeinname
	46	listopia	27	Common Lisp	Dimercel
	47	reflex-stone	24	Nix	srid
	48	nix-hs	23	Nix	pjones
	49	haskell-bazaar	21	PLpgSQL	Chouffe
	50	hasp	20	Scheme	aliclark
	51	cabal2nixWithoutIFD	20	PureScript	cdepillabout
	52	haskell-jsonnet	17	Jsonnet	moleike
	53	haskell.zettel.page	17	Dhall	Kuratoro
	54	HaskellRed	17	Red	webcpu
	55	jerrington.me	17	Idris	tsani
	56	haskell-knowledge-base	15	Markdown	tfausak
	57	nix	14	Nix	jonascarpay
	58	nix-reverse-deps-of-haskell-package	14	Nix	cdepillabout
	59	postgresql-syntax	14	Yacc	nikita-volkov
	60	servant-to-elm-example	12	Elm	VladimirLogachev
	61	haskell-binaryen	12	WebAssembly	tweag
	62	newreads	9	PureScript	marcusbuffett
	63	haccessibility	9	PureScript	dnulnets
	64	eopl3	9	Racket	dwayne
	65	haskell-tags-nix	8	Nix	shajra
	66	hoogleverse	8	Nix	juspay
	67	Misc-ML-Scripts	8	Haskell	mariari
	68	msg	8	PureScript	soupi
	69	haskell-with-nixpkgs	7	Nix	haskell-nix
	70	reflex-skeleton	7	Nix	thalesmg
	71	natume	7	Perl 6	takayuki
	72	nixFromStack	7	Nix	dmjio
	73	fscm	7	Scheme	ypyf
	74	functional-logic	7	Prolog	zambonin
	75	simple-ping	6	Nix	sagittaros
	76	workspace	6	Roff	aiya000
	77	coq-mtl	6	Coq	Lysxia
	78	hbc	6	M	haskell-implementations
	79	VeriGHC	6	Coq	trommler
	80	sensu-run	6	Roff	maoe
	81	abel	6	Agda	jpvillaisaza
	82
	83	Dotfiles	5	Vim Snippet	fimmind
	84	arcanum	5	Nix	arcane-chat
	85	LPPaver	4	JavaScript	rasheedja
	86	CPU-Cache-System	4	Prolog	AhmedNasserG
	87	soallpeach	4	Nix	the-dr-lazy
	88	crimson-plague	4	Prolog	lucasmedeiros
	89	ghc-llvm	4	LLVM	kavon
	90	ufsc-ine5416	4	Prolog	mrcaique
	91	infratelier	3	Sass	FlogFr
	92	PLP	3	Prolog	Pedro-Manoel
	93	haskell-example-operator	3	Frege	jvm-operators
	94	jvm-parse	3	Jasmin	ojd2
	95	research-project	2	Agda	JonathanBrouwer
	96	fucheck	2	Futhark	Unigurd
	97	Isabelle-Hello-World	2	Isabelle	diekmann
	98	verified-lenses	1	Agda	mxrnx
	99	meta-haskell	1	BitBake	miketsukerman
	100	haskell-bazel-nix-template	1	Starlark	jmackie