Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

jasmin-lang/jasmin

Language for high-assurance and high-speed cryptography

Propriétaire: jasmin-lang (organisation)
Étoiles: Étoiles : 389
Forks: Forks : 89
Langage: Rocq Prover
Licence: MIT
Création: 2017
Sujets: compilerlanguagecoq
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Rocq Prover

Tous les dépôts Rocq Prover

MetaRocq/metarocqÉtoiles : 567Rocq ProverAlpha
PrincetonUniversity/VSTÉtoiles : 515Rocq ProverAlpha
rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha
ccz181078/Coq-BB5Étoiles : 377Rocq ProverAlpha
mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha
stepchowfun/proofsÉtoiles : 316Rocq ProverAlpha