See what the CodeGayHub community is most excited about today.
Algorithmic music project for MIDIHACK 2014
The great Ableton experiment
mIRC Bot - Battle Arena
An advanced automated reasoning tool for memory consistency model specifications.
TLA+ and Alloy specs of database isolation
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
Automatically exported from code.google.com/p/websecmodel
Bootstrap template for producing a song with Ableton Live 9
Material from SpringSim tutorial on Conceptual Modeling with Alloy
An Alloy Verification Model for Consensus-Based Auction Protocols
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
Implementation of proofs for graph theory properties and algorithms in alloy.
Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
CS195Y Final Project. Logic model of Autodesk Maya.
Projeto de Lógica 2013.2
Garbage collector models in Alloy
Music for Tesla Coils
A Developer's Kit for Maya