Repos by leonardoalt

leonardoalt / repos

24 repos

	Repo	Language	Stars	Rank
	pinballctf	Solidity	12	3,227
	hevm_paper	TeX	12	6,191
	text	TeX	9	7,991
	usc2022	Solidity	9	5,598
	zokrates_nova	Rust	9	36,866
	cav_2022_artifact	Solidity	8	6,138
	chc_benchmarks_solidity	SMT	6	65
	baby_its_me	Solidity	6	6,760
	merkle-tree-powdr	Rust	3	68,376
	swap.socks.sol	Solidity	2	11,384