( 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
53A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
33Algorithmic music project for MIDIHACK 2014
31The great Ableton experiment
13TLA+ and Alloy specs of database isolation
13An advanced automated reasoning tool for memory consistency model specifications.
8Bootstrap template for producing a song with Ableton Live 9
8An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
8Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
8Automatically exported from code.google.com/p/websecmodel
7An Alloy Verification Model for Consensus-Based Auction Protocols
6Some useful Alloy tips and tricks to get around in MFES
6Implementation of proofs for graph theory properties and algorithms in alloy.
6A formalization of the RVWMO (RISC-V) memory model
5Like the name. Contains various Alloy models
5An RPG written in mIRC
5A Mutation Testing Framework for Alloy
5Material from SpringSim tutorial on Conceptual Modeling with Alloy
4CS195Y Final Project. Logic model of Autodesk Maya.
4Disciplina de Métodos Formais com a Professora Tarciana Dias - POLI/UPE 2018.2
4Projeto de Lógica 2013.2
102 Followers 100+
0 Repos per User
repos.Total / users.Total