Alloy
languages / Alloy762Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | AlloyTools | 1 | 114 |
2 | ![]() | mark-henry | 1 | 46 |
3 | ![]() | vitling | 1 | 30 |
4 | ![]() | daniellustig | 1 | 23 |
5 | ![]() | pron | 1 | 19 |
6 | ![]() | uwplse | 1 | 19 |
7 | ![]() | lorin | 5 | 17 |
8 | ![]() | vasil-sd | 3 | 17 |
9 | ![]() | adamjmurray | 1 | 14 |
10 | ![]() | parlarjb | 1 | 11 |
825Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | models | 114 | AlloyTools |
![]() | 2 | ableton-experiment | 46 | mark-henry |
![]() | 3 | midihack | 30 | vitling |
![]() | 4 | riscv-memory-model | 23 | daniellustig |
![]() | 5 | memsynth | 19 | uwplse |
![]() | 6 | amazon-snapshot-spec | 19 | pron |
![]() | 7 | engineering-sw-hw-model-checking-letures | 16 | vasil-sd |
![]() | 8 | js-live-api-humanize-midi-clips | 14 | adamjmurray |
![]() | 9 | finding_bugs_no_code | 11 | parlarjb |
![]() | 10 | litmustestgen | 11 | NVlabs |