Repos by aman-goel

aman-goel / repos

16 repos

	Repo	Language	Stars	Rank
	avr	C++	75	25,180
	ic3po	Python	25	188,281
	ivybench	TLA	12	70
	fmcad2021exp	unknown	3	440,825
	BakeryProtocol	TLA	2	171
	verilogbench	Verilog	1	19,945
	date19eval	unknown	1	2,287,262
	nfm2019exp	unknown	1	2,276,968
	tacas20ae	Verilog	1	17,694
	aman-goel.github.io	CSS	0	-