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

AlphaPeu commune

Andromedans/andromeda

A proof assistant for general type theories

Propriétaire: Andromedans (organisation)
Étoiles: Étoiles : 318
Forks: Forks : 35
Langage: OCaml
Licence: Aucune
Création: 2012
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

mirleft/ocaml-tlsÉtoiles : 321OCamlAlpha
terrateamio/openinfraquoteÉtoiles : 319OCamlAlpha
anmonteiro/ocaml-h2Étoiles : 318OCamlAlpha
aantron/bisect_ppxÉtoiles : 317OCamlAlpha
talex5/cuekeeperÉtoiles : 316OCamlAlpha
caradoc-org/caradocÉtoiles : 316OCamlAlpha