Updated : 2018-10-20 00:55:54 UTC

Respositories

Counts
Total

/search/repositories?q=language:Alloy

423
New

/search/repositories?q=language:Alloy+created:2018-10-19

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Alloy+pushed:2018-10-19

0
Update Rate

( Update / Total ) * 100

0.00%
Sleeping

/search/repositories?q=language:Alloy+pushed:<2017-10-19

268
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 )

213
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 )

63

Top Star Repos

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

  1. 32
    Algorithmic music project for MIDIHACK 2014
  2. 19
    The great Ableton experiment
  3. 16
    mIRC Bot - Battle Arena
  4. 15
    A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
  5. 12
    An example of using the Max for Live JavaScript API to modify MIDI clips.
  6. 11
    An advanced automated reasoning tool for memory consistency model specifications.
  1. 8
    TLA+ and Alloy specs of database isolation
  2. 7
    Bootstrap template for producing a song with Ableton Live 9
  3. 7
    An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
  4. 7
    Automatically exported from code.google.com/p/websecmodel
  5. 6
    An Alloy Verification Model for Consensus-Based Auction Protocols
  6. 6
    Code from the book on Alloy &quot;Software Abtractions: Logic, Language, and Analysis&quot;
  7. 5
    Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
  8. 5
    Implementation of proofs for graph theory properties and algorithms in alloy.
  9. 5
    Material from SpringSim tutorial on Conceptual Modeling with Alloy
  10. 4
    CS195Y Final Project. Logic model of Autodesk Maya.
  11. 4
    Projeto de Lógica 2013.2
  12. 4
    An RPG written in mIRC
  13. 4
    A Mutation Testing Framework for Alloy
  14. 3
    Music for Tesla Coils
  15. 3
    A Developer&#39;s Kit for Maya
  16. 3
    Garbage collector models in Alloy
  17. 2
    Especificação de um sistema hospitalar em alloy para disciplina de lógica.

New Repos

/search/repositories?q=language:Alloy+created:2018-10-19&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Alloy

91
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.65