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

AlphaPeu commune

herd/herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Propriétaire: herd (organisation)
Étoiles: Étoiles : 316
Forks: Forks : 114
Langage: OCaml
Licence: Aucune
Création: 2016
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts OCaml

Tous les dépôts OCaml

aantron/bisect_ppxÉtoiles : 317OCamlAlpha
talex5/cuekeeperÉtoiles : 316OCamlAlpha
caradoc-org/caradocÉtoiles : 316OCamlAlpha
gwaithimirdain/naryaÉtoiles : 315OCamlAlpha
rossberg/1mlÉtoiles : 303OCamlAlpha