Updated : 2018-04-19 00:55:46 UTC

Respositories

Counts
Total

/search/repositories?q=language:Alloy

350
New

/search/repositories?q=language:Alloy+created:2018-04-18

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Alloy+pushed:2018-04-18

2
Update Rate

( Update / Total ) * 100

0.57%
Sleeping

/search/repositories?q=language:Alloy+pushed:<2017-04-18

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

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

59

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. 12
    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
    A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
  11. 4
    Projeto de Lógica 2013.2
  12. 3
    Music for Tesla Coils
  13. 3
    A Developer&#39;s Kit for Maya
  14. 3
    A Mutation Testing Framework for Alloy
  15. 3
    Garbage collector models in Alloy
  16. 2
    An RPG written in mIRC
  17. 2
    Repository for the assignments of the course Software Engineering 2

New Repos

/search/repositories?q=language:Alloy+created:2018-04-18&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

4.22