F* GitHub repos

5 F* repos in the catalog, most starred first.

FStarLang/FStarStars: 3,131F*RC
hacl-star/hacl-starStars: 1,845F*Beta
project-everest/everparseStars: 345F*Alpha
project-everest/mitls-fstarStars: 183F*Prototype
cryspen/bertieStars: 138F*Prototype