GitHub repos by apalache-mc

1 public repo by apalache-mc in the catalog, most starred first.