RCÉpique
FStarLang/FStar
A Proof-oriented Programming Language
- Propriétaire
- FStarLang (organisation)
- Étoiles
- Étoiles : 3 132
- Forks
- Forks : 267
- Langage
- F*
- Licence
- Apache-2.0
- Création
- 2014
- Sujets
- programming-languageverificationdependent-typessmttheorem-provingproof-assistantocamlf-sharpc-languagefstar
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de FStarLang
Les 2 dépôts de FStarLang- FStarLang/karamelÉtoiles : 524OCamlAlpha
D’autres dépôts F*
Tous les dépôts F*- hacl-star/hacl-starÉtoiles : 1 845F*Bêta
- project-everest/everparseÉtoiles : 345F*Alpha
- project-everest/mitls-fstarÉtoiles : 183F*Prototype