# GitHub repos by apalache-mc

<https://repo.masters-masters.com/en/owners/apalache-mc>

[Home](https://repo.masters-masters.com/en) › [apalache-mc](https://repo.masters-masters.com/en/owners/apalache-mc)

The public GitHub repo by apalache-mc in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by apalache-mc

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

- [apalache-mc/apalache · ★ 622 · Scala · Alpha](https://repo.masters-masters.com/en/repos/apalache-mc/apalache)

## See apalache-mc on GitHub

- [https://github.com/apalache-mc](https://github.com/apalache-mc)

---
Data: GitHub