See what the GitHub community is most excited about today.
Algorithmic music project for MIDIHACK 2014
The great Ableton experiment
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
mIRC Bot - Battle Arena
An advanced automated reasoning tool for memory consistency model specifications.
TLA+ and Alloy specs of database isolation
Bootstrap template for producing a song with Ableton Live 9
Automatically exported from code.google.com/p/websecmodel
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
An Alloy Verification Model for Consensus-Based Auction Protocols
Implementation of proofs for graph theory properties and algorithms in alloy.
Some useful Alloy tips and tricks to get around in MFES
Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
An RPG written in mIRC
Material from SpringSim tutorial on Conceptual Modeling with Alloy
A Mutation Testing Framework for Alloy
CS195Y Final Project. Logic model of Autodesk Maya.
Projeto de Lógica 2013.2