Repos by project-everest

project-everest / repos

15 repos

	Repo	Language	Stars	Rank
	vale	F#	251	95
	everparse	F*	235	3
	everest	Shell	190	5,227
	mitls-fstar	F*	172	4
	QUIC-FStar	F*	18	12
	project-everest.github.io	HTML	12	51,022
	ethereum-star	Solidity	11	3,696
	everquic-crypto	F*	11	22
	MLCrypto	OCaml	10	3,005
	everest-ci	Shell	3	139,602