Skip to content

@herd herd

Change the repository type filter

All

    Repositories list

    3 repositories

    • herdtools7

      Public
      The Herd toolsuite to deal with .cat memory models (version 7.xx)
      OCaml
      •
      Other
      •90•293•33•66•Updated Feb 28, 2026Feb 28, 2026

    • legacy

      Public
      OCaml
      •0•0•0•0•Updated Jun 9, 2020Jun 9, 2020

    • CoqCat

      Public
      Coq formalisation of axiomatic memory models
      coqconcurrencymemory-models
      Coq
      •1•10•0•0•Updated Dec 13, 2019Dec 13, 2019