Repos by johnwickerson

johnwickerson / repos

16 repos

	Repo	Language	Stars	Rank
	memalloy	OCaml	28	1,353
	HSV	Isabelle	26	19
	mastering_digital_design	Verilog	9	2,949
	dblp-playground	Makefile	7	7,093
	ee_modules	HTML	4	131,657
	alloystar	Java	3	375,347
	netlistfuzz	TeX	3	20,973
	papers	TeX	2	31,436
	grant	TeX	1	54,766
	partialtotal	TeX	0	-