Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Algorithmic music project for MIDIHACK 2014
-
The great Ableton experiment
-
mIRC Bot - Battle Arena
-
An example of using the Max for Live JavaScript API to modify MIDI clips.
-
Bootstrap template for producing a song with Ableton Live 9
-
-
Automatically exported from code.google.com/p/websecmodel
Alloy 7 -
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
-
An advanced automated reasoning tool for memory consistency model specifications.
-
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
-
