Alloy

languages / Alloy
691Developers

Top ranked

RankDeveloperReposStars
1gravatar for AlloyToolsAlloyTools195
2gravatar for mark-henrymark-henry143
3gravatar for ctrippelctrippel131
4gravatar for vitlingvitling131
5gravatar for uwplseuwplse118
6gravatar for vasil-sdvasil-sd317
7gravatar for lorinlorin516
8gravatar for pronpron114
9gravatar for adamjmurrayadamjmurray114
10gravatar for daniellustigdaniellustig112
743Repos

Top ranked

RankRepoStarsDeveloper
AlloyTools/models on Github1models95AlloyTools
mark-henry/ableton-experiment on Github2ableton-experiment43mark-henry
vitling/midihack on Github3midihack31vitling
ctrippel/checkmate on Github4checkmate31ctrippel
uwplse/memsynth on Github5memsynth18uwplse
vasil-sd/engineering-sw-hw-model-checking-letures on Github6engineering-sw-hw-model-checking-letures16vasil-sd
adamjmurray/js-live-api-humanize-midi-clips on Github7js-live-api-humanize-midi-clips14adamjmurray
pron/amazon-snapshot-spec on Github8amazon-snapshot-spec14pron
daniellustig/riscv-memory-model on Github9riscv-memory-model12daniellustig
parlarjb/finding_bugs_no_code on Github10finding_bugs_no_code11parlarjb
74Topics

Most popular