( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
32Algorithmic music project for MIDIHACK 2014
18The great Ableton experiment
14mIRC Bot - Battle Arena
9An advanced automated reasoning tool for memory consistency model specifications.
8TLA+ and Alloy specs of database isolation
7Bootstrap template for producing a song with Ableton Live 9
7An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
7Automatically exported from code.google.com/p/websecmodel
6An Alloy Verification Model for Consensus-Based Auction Protocols
6Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
6Material from SpringSim tutorial on Conceptual Modeling with Alloy
5Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
5Implementation of proofs for graph theory properties and algorithms in alloy.
4CS195Y Final Project. Logic model of Autodesk Maya.
4A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
4Projeto de Lógica 2013.2
3Music for Tesla Coils
3A Developer's Kit for Maya
3A Mutation Testing Framework for Alloy
3Garbage collector models in Alloy
83 Followers 100+
0 Repos per User
repos.Total / users.Total