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.
Bootstrap template for producing a song with Ableton Live 9
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
Automatically exported from code.google.com/p/websecmodel
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
An Alloy Verification Model for Consensus-Based Auction Protocols
TLA+ and Alloy specs of database isolation
Material from SpringSim tutorial on Conceptual Modeling with Alloy
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
A Developer's Kit for Maya
Music for Tesla Coils
Garbage collector models in Alloy