Repos by ymherklotz

ymherklotz / repos

44 repos

	Repo	Language	Stars	Rank
	verismith	Haskell	89	1,109
	vericert	Coq	80	73
	emacs-zettelkasten	Emacs Lisp	55	1,783
	dotfiles	Org	9	7
	YAGE	C++	8	125,265
	HuaweiChallenge	Python	7	443,307
	A-star-algorithm	C++	4	210,703
	ymherklotz	unknown	4	313,413
	mirror-ball	Haskell	3	16,072
	pong-rs	Rust	2	105,855