Top Alloy repos
languages / Alloy / global929 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | models | 117 | AlloyTools |
| 2 | ableton-experiment | 48 | mark-henry |
| 3 | checkmate | 33 | ctrippel |
| 4 | midihack | 30 | vitling |
| 5 | riscv-memory-model | 26 | daniellustig |
| 6 | memsynth | 19 | uwplse |
| 7 | amazon-snapshot-spec | 19 | pron |
| 8 | engineering-sw-hw-model-checking-letures | 16 | vasil-sd |
| 9 | litmustestgen | 14 | NVlabs |
| 10 | js-live-api-humanize-midi-clips | 14 | adamjmurray |