Top Boogie repos

34 repos

	Rank	Repo	Stars	Developer
	11	contracts	2	pontem-network
	12	TextClassification	2	Samialsayadi
	13	BoogieCollection	1	emptylambda
	14	SEGA-PC-Reloaded-Delphi-Code	0	NICKINFORMATICARESERVA
	15	move-learn	0	c-neri
	16	Binary-classification-of-implications-data	0	gantaAishwarya
	17	formal-verification	0	fanyi-zhao
	18	NFT-example	0	Koeding
	19	Move_Sample_Contracts	0	byteZorvin
	20	CT-Prover	0	Luweicai