Dépôts F*
5 dépôts F* au catalogue, du plus étoilé au moins étoilé.
- FStarLang/FStarÉtoiles : 3 131F*RC
- hacl-star/hacl-starÉtoiles : 1 845F*Bêta
- project-everest/everparseÉtoiles : 345F*Alpha
- project-everest/mitls-fstarÉtoiles : 183F*Prototype
- cryspen/bertieÉtoiles : 138F*Prototype