Alloy
languages / Alloy852Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | AlloyTools | 1 | 117 | |
2 | mark-henry | 1 | 48 | |
3 | ctrippel | 2 | 34 | |
4 | vitling | 1 | 30 | |
5 | daniellustig | 1 | 26 | |
6 | pron | 1 | 19 | |
7 | uwplse | 1 | 19 | |
8 | lorin | 5 | 18 | |
9 | vasil-sd | 3 | 17 | |
10 | adamjmurray | 1 | 14 |
930Repos
Top ranked
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 |