Repos by liamoc

liamoc / repos

37 repos

	Repo	Language	Stars	Rank
	learn-you-an-agda	Agda	311	8
	holbert	Haskell	161	609
	latex-formulae	Haskell	56	1,687
	patches-vector	Haskell	55	1,704
	dixi	Haskell	52	1,781
	wizards	Haskell	41	2,234
	hilbert	Haskell	30	2,885
	desktop_games	Rust	21	21,990
	dddp	TeX	14	5,510
	pongell	unknown	9	169,712