Repos by project-everest

project-everest / repos

15 repos

	Repo	Language	Stars	Rank
	vale	F#	270	94
	everparse	F*	251	3
	everest	Shell	193	5,521
	mitls-fstar	F*	173	4
	QUIC-FStar	F*	18	13
	everquic-crypto	F*	13	19
	project-everest.github.io	HTML	12	54,981
	ethereum-star	Solidity	11	4,452
	MLCrypto	OCaml	10	3,081
	everest-ci	Shell	3	148,355