Repos by yurrriq

yurrriq / repos

136 repos

	Repo	Language	Stars	Rank
	dotfiles	Nix	50	515
	idris-logic	Idris	8	239
	parser-combinators	Agda	6	401
	exercism	Shell	5	95,383
	the-power-of-pi	Idris	5	331
	learning-fstar	Nix	5	2,749
	rust-in-action	Rust	5	55,948
	gis	Idris	5	317
	knrc	C	4	151,567
	abstract-algebra-pinter	TeX	4	15,287