Repos by ymherklotz

ymherklotz / repos

44 repos

	Repo	Language	Stars	Rank
	verismith	Haskell	90	1,102
	vericert	Coq	85	71
	emacs-zettelkasten	Emacs Lisp	57	1,750
	dotfiles	Org	9	6
	YAGE	C++	8	127,626
	HuaweiChallenge	Python	7	454,298
	A-star-algorithm	C++	4	214,803
	ymherklotz	unknown	4	321,966
	mirror-ball	Haskell	3	16,135
	pong-rs	Rust	2	108,786