@herd
Guthub

herd

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    224
  • Global Org. Rank 37,961 (Top 13 %)
  • Registered almost 11 years ago
  • Most used languages
    OCaml
         50.0 %
    Coq     50.0 %

Top repositories

1

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
OCaml
217
star
2

CoqCat

Coq formalisation of axiomatic memory models
Coq
8
star