Sujet · fstar

fstar

Dépôts open source suivis étiquetés fstar, triés par étoiles.

Dépôts

2

Total d'étoiles

4 039

Étoiles en moyenne

2 020

Part

0,00%

Sujets qui apparaissent souvent aux côtés de fstar sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés fstar.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
FStar ↗@FStarLangF*
Langage de programmation orienté preuve.
★ 3 103+4Évolution des étoiles sur les 7 derniers jours
#2
aeneas ↗@AeneasVerifOCaml
Une chaîne d'outils de vérification pour les programmes Rust
★ 948+19Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets