Alloy

languages / Alloy
762Developers

Top ranked

RankDeveloperReposStars
1gravatar for AlloyToolsAlloyTools1114
2gravatar for mark-henrymark-henry146
3gravatar for vitlingvitling130
4gravatar for daniellustigdaniellustig123
5gravatar for pronpron119
6gravatar for uwplseuwplse119
7gravatar for lorinlorin517
8gravatar for vasil-sdvasil-sd317
9gravatar for adamjmurrayadamjmurray114
10gravatar for parlarjbparlarjb111
825Repos

Top ranked

RankRepoStarsDeveloper
AlloyTools/models on Github1models114AlloyTools
mark-henry/ableton-experiment on Github2ableton-experiment46mark-henry
vitling/midihack on Github3midihack30vitling
daniellustig/riscv-memory-model on Github4riscv-memory-model23daniellustig
uwplse/memsynth on Github5memsynth19uwplse
pron/amazon-snapshot-spec on Github6amazon-snapshot-spec19pron
vasil-sd/engineering-sw-hw-model-checking-letures on Github7engineering-sw-hw-model-checking-letures16vasil-sd
adamjmurray/js-live-api-humanize-midi-clips on Github8js-live-api-humanize-midi-clips14adamjmurray
parlarjb/finding_bugs_no_code on Github9finding_bugs_no_code11parlarjb
NVlabs/litmustestgen on Github10litmustestgen11NVlabs
0Topics

Most popular

TopicReposStars