Updated : 2020-01-25 00:59:50 UTC

Respositories

Counts
Total

/search/repositories?q=language:Alloy

524
New

/search/repositories?q=language:Alloy+created:2020-01-24

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Alloy+pushed:2020-01-24

1
Update Rate

( Update / Total ) * 100

0.19%
Sleeping

/search/repositories?q=language:Alloy+pushed:<2019-01-24

411
Stars
Star 1000+

/search/repositories?q=language:Alloy+stars:>=1000

0
Star 100+

/search/repositories?q=language:Alloy+stars:>=100

0
Sum stars of Top 30 repos

sum ( repos.stars )

296
Forks
Fork 1000+ Repos

/search/repositories?q=language:Alloy+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Alloy+forks:>=100

0
Sum forks of Top 30 repos

sum ( repos.forks )

76

Top Star Repos

/search/repositories?q=language:Alloy&sort=stars&order=desc&per_page=30

  1. 53
    A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
  2. 33
    Algorithmic music project for MIDIHACK 2014
  3. 31
    The great Ableton experiment
  4. 13
    TLA+ and Alloy specs of database isolation
  5. 13
    An advanced automated reasoning tool for memory consistency model specifications.
  1. 13
    An example of using the Max for Live JavaScript API to modify MIDI clips.
  2. 8
    Bootstrap template for producing a song with Ableton Live 9
  3. 8
    An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
  4. 8
    Code from the book on Alloy &quot;Software Abtractions: Logic, Language, and Analysis&quot;
  5. 8
    Automatically exported from code.google.com/p/websecmodel
  6. 7
    An Alloy Verification Model for Consensus-Based Auction Protocols
  7. 6
    Some useful Alloy tips and tricks to get around in MFES
  8. 6
    Implementation of proofs for graph theory properties and algorithms in alloy.
  9. 6
    A formalization of the RVWMO (RISC-V) memory model
  10. 5
    Like the name. Contains various Alloy models
  11. 5
    An RPG written in mIRC
  12. 5
    A Mutation Testing Framework for Alloy
  13. 5
    Material from SpringSim tutorial on Conceptual Modeling with Alloy
  14. 4
    CS195Y Final Project. Logic model of Autodesk Maya.
  15. 4
    Disciplina de Métodos Formais com a Professora Tarciana Dias - POLI/UPE 2018.2
  16. 4
    Projeto de Lógica 2013.2
  17. 3
    Music for Tesla Coils
  18. 3
    A Developer&#39;s Kit for Maya

New Repos

/search/repositories?q=language:Alloy+created:2020-01-24&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Alloy

102
Followers 100+

/search/users?q=language:Alloy+followers:>=100

0
Repos per User

repos.Total / users.Total

5.14