Top Alloy repos
languages / Alloy / global933 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 11 | finding_bugs_no_code | 11 | parlarjb |
| 12 | alloy-coin | 9 | kepae |
| 13 | protocol-models | 8 | mattdf |
| 14 | miniscript-alloy-spec | 8 | dgpv |
| 15 | MuAlloy | 8 | kaiyuanw |
| 16 | websecmodel | 7 | devd |
| 17 | alloy_book | 7 | fstakem |
| 18 | alloy-fish | 7 | lorin |
| 19 | IoTCOM | 6 | Mohannadcse |
| 20 | Sudoku-model-in-alloy | 6 | rezaAzimi1 |