Updated : 2018-02-23 00:55:49 UTC

Respositories

Counts
Total

/search/repositories?q=language:Alloy

315
New

/search/repositories?q=language:Alloy+created:2018-02-22

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Alloy+pushed:2018-02-22

1
Update Rate

( Update / Total ) * 100

0.32%
Sleeping

/search/repositories?q=language:Alloy+pushed:<2017-02-22

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

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

58

Top Star Repos

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

  1. 32
    Algorithmic music project for MIDIHACK 2014
  2. 18
    The great Ableton experiment
  3. 14
    mIRC Bot - Battle Arena
  4. 11
    An example of using the Max for Live JavaScript API to modify MIDI clips.
  5. 9
    An advanced automated reasoning tool for memory consistency model specifications.
  6. 8
    TLA+ and Alloy specs of database isolation
  1. 7
    Bootstrap template for producing a song with Ableton Live 9
  2. 7
    An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
  3. 7
    Automatically exported from code.google.com/p/websecmodel
  4. 6
    An Alloy Verification Model for Consensus-Based Auction Protocols
  5. 6
    Code from the book on Alloy &quot;Software Abtractions: Logic, Language, and Analysis&quot;
  6. 6
    Material from SpringSim tutorial on Conceptual Modeling with Alloy
  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. 4
    CS195Y Final Project. Logic model of Autodesk Maya.
  10. 4
    Projeto de Lógica 2013.2
  11. 3
    Music for Tesla Coils
  12. 3
    A Developer&#39;s Kit for Maya
  13. 3
    A Mutation Testing Framework for Alloy
  14. 3
    Garbage collector models in Alloy
  15. 2
    An RPG written in mIRC
  16. 2
    Repository for the assignments of the course Software Engineering 2

New Repos

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

Users

Total

/search/users?q=language:Alloy

83
Followers 100+

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

0
Repos per User

repos.Total / users.Total

3.80