Top Alloy repos

languages / Alloy / global

992 repos

«12...100»
RankRepoStarsDeveloper
AlloyTools/models on Github1models125AlloyTools
mark-henry/ableton-experiment on Github2ableton-experiment50mark-henry
ctrippel/checkmate on Github3checkmate35ctrippel
daniellustig/riscv-memory-model on Github4riscv-memory-model30daniellustig
vitling/midihack on Github5midihack29vitling
uwplse/memsynth on Github6memsynth20uwplse
pron/amazon-snapshot-spec on Github7amazon-snapshot-spec19pron
vasil-sd/engineering-sw-hw-model-checking-letures on Github8engineering-sw-hw-model-checking-letures16vasil-sd
NVlabs/litmustestgen on Github9litmustestgen15NVlabs
adamjmurray/js-live-api-humanize-midi-clips on Github10js-live-api-humanize-midi-clips14adamjmurray