Repos by aman-goel

aman-goel / repos

16 repos

	Repo	Language	Stars	Rank
	avr	C++	72	25,148
	ic3po	Python	25	180,098
	ivybench	TLA	12	67
	fmcad2021exp	unknown	3	418,951
	BakeryProtocol	TLA	2	160
	verilogbench	Verilog	1	18,986
	date19eval	unknown	1	2,175,062
	nfm2019exp	unknown	1	2,164,820
	tacas20ae	Verilog	1	16,731
	aman-goel.github.io	CSS	0	-