Sujet · f-star

f-star

Dépôts open source suivis étiquetés f-star, triés par étoiles.

Dépôts

1

Total d'étoiles

518

Étoiles en moyenne

518

Part

0,00%

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

Ascensions récentes

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

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

#1
karamel ↗@FStarLangOCaml
KaRaMeL est un outil permettant d'extraire des programmes F* de bas niveau vers du code C lisible.
★ 518+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets