Alloy

languages / Alloy
711Developers

Top ranked

RankDeveloperReposStars
1gravatar for AlloyToolsAlloyTools199
2gravatar for mark-henrymark-henry143
3gravatar for ctrippelctrippel131
4gravatar for vitlingvitling131
5gravatar for uwplseuwplse118
6gravatar for vasil-sdvasil-sd317
7gravatar for daniellustigdaniellustig116
8gravatar for pronpron116
9gravatar for adamjmurrayadamjmurray114
10gravatar for parlarjbparlarjb111
759Repos

Top ranked

RankRepoStarsDeveloper
AlloyTools/models on Github1models99AlloyTools
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
daniellustig/riscv-memory-model on Github7riscv-memory-model16daniellustig
pron/amazon-snapshot-spec on Github8amazon-snapshot-spec16pron
adamjmurray/js-live-api-humanize-midi-clips on Github9js-live-api-humanize-midi-clips14adamjmurray
parlarjb/finding_bugs_no_code on Github10finding_bugs_no_code11parlarjb
74Topics

Most popular