See what the CodeGayHub community is most excited about today.
Sign up for free to get started
A collection of useful additions to @Ableton Live, including better @Git integration.
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
Automatically exported from code.google.com/p/websecmodel
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
TLA+ and Alloy specs of database isolation
An Alloy Verification Model for Consensus-Based Auction Protocols
Material from SpringSim tutorial on Conceptual Modeling with Alloy
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
A Developer's Kit for Maya
Music for Tesla Coils
Garbage collector models in Alloy