Alloy
languages / Alloy691Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | AlloyTools | 1 | 95 |
| 2 |  | mark-henry | 1 | 43 |
| 3 |  | ctrippel | 1 | 31 |
| 4 |  | vitling | 1 | 31 |
| 5 |  | uwplse | 1 | 18 |
| 6 |  | vasil-sd | 3 | 17 |
| 7 |  | lorin | 5 | 16 |
| 8 |  | pron | 1 | 14 |
| 9 |  | adamjmurray | 1 | 14 |
| 10 |  | daniellustig | 1 | 12 |
743Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | models | 95 | AlloyTools |
| 2 | ableton-experiment | 43 | mark-henry |
| 3 | midihack | 31 | vitling |
| 4 | checkmate | 31 | ctrippel |
| 5 | memsynth | 18 | uwplse |
| 6 | engineering-sw-hw-model-checking-letures | 16 | vasil-sd |
| 7 | js-live-api-humanize-midi-clips | 14 | adamjmurray |
| 8 | amazon-snapshot-spec | 14 | pron |
| 9 | riscv-memory-model | 12 | daniellustig |
| 10 | finding_bugs_no_code | 11 | parlarjb |