herd

Popular repositories Loading

1. herdtools7 herdtools7Public

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

   OCaml 309 103

2. CoqCat CoqCatPublic

   Coq formalisation of axiomatic memory models

   Coq 11 1

3. legacy legacyPublic

   OCaml 1