Repos by pirapira

pirapira / repos

50 repos

	Repo	Language	Stars	Rank
	awesome-ethereum-virtual-machine	unknown	828	4,644
	bamboo	OCaml	324	108
	ethereum-formal-verification-overview	unknown	296	11,268
	eth-isabelle	Isabelle	233	4
	coq2rust	OCaml	216	175
	evmverif	Coq	44	126
	dry-analyzer	Coq	42	134
	vmtrace_visualizer	Ruby	35	16,269
	ethereum-word-list	unknown	22	82,960
	gohantabeyo	Ruby	15	30,885