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

AlphaUncommon

herd/herdtools7

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

Owner: herd (organization)
Stars: Stars: 316
Forks: Forks: 114
Language: OCaml
License: None
Created: 2016
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in OCaml

All OCaml repos

aantron/bisect_ppxStars: 317OCamlAlpha
talex5/cuekeeperStars: 316OCamlAlpha
caradoc-org/caradocStars: 316OCamlAlpha
gwaithimirdain/naryaStars: 315OCamlAlpha
rossberg/1mlStars: 303OCamlAlpha