AlphaPeu commune
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
- Propriétaire
- FStarLang (organisation)
- Étoiles
- Étoiles : 524
- Forks
- Forks : 74
- Langage
- OCaml
- Licence
- Apache-2.0
- Création
- 2016
- Sujets
- verificationproofscryptographyc-languagef-star
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de FStarLang
Les 2 dépôts de FStarLang- FStarLang/FStarÉtoiles : 3 132F*RC
D’autres dépôts OCaml
Tous les dépôts OCaml- inhabitedtype/httpafÉtoiles : 538OCamlAlpha
- esumii/min-camlÉtoiles : 532OCamlAlpha
- ocaml-batteries-team/batteries-includedÉtoiles : 524OCamlAlpha
- c-cube/ocaml-containersÉtoiles : 522OCamlAlpha
- ocaml-ppx/ppx_derivingÉtoiles : 522OCamlAlpha
- rrdelaney/ReasonablyTypedÉtoiles : 517OCamlAlpha