Repos by bagnalla

bagnalla / repos

42 repos

	Repo	Language	Stars	Rank
	functors-monads	Coq	1	2,014
	nash	C++	1	613,729
	algco	Coq	1	1,642
	approximatesine	C++	0	-
	Balls_and_Polygons	C#	0	-
	project_euler	C++	0	-
	RTS_map_editor	C#	0	-
	puddi	C	0	-
	primethreads	C#	0	-
	malloc	C	0	-