Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

Andromedans/andromeda

A proof assistant for general type theories

Owner: Andromedans (organization)
Stars: Stars: 318
Forks: Forks: 35
Language: OCaml
License: None
Created: 2012
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in OCaml

All OCaml repos

mirleft/ocaml-tlsStars: 321OCamlAlpha
terrateamio/openinfraquoteStars: 319OCamlAlpha
anmonteiro/ocaml-h2Stars: 318OCamlAlpha
aantron/bisect_ppxStars: 317OCamlAlpha
talex5/cuekeeperStars: 316OCamlAlpha
caradoc-org/caradocStars: 316OCamlAlpha