Repos by ctrippel

ctrippel / repos

5 repos

	Repo	Language	Stars	Rank
	checkmate	Alloy	35	3
	TriCheck	Python	13	315,101
	COS510-fproj	Haskell	1	44,162
	subrosa	Alloy	1	114
	trippel-lab	SystemVerilog	0	-