Trending
See what the GitHub community is most excited about today.
-
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.
-
An advanced automated reasoning tool for memory consistency model specifications.
-
-
TLA+ and Alloy specs of database isolation
-
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
-
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)
-
An Alloy Verification Model for Consensus-Based Auction Protocols
-
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
-
Material from SpringSim tutorial on Conceptual Modeling with Alloy
-
Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
-
Implementation of proofs for graph theory properties and algorithms in alloy.
-
-
CS195Y Final Project. Logic model of Autodesk Maya.
-
Projeto de Lógica 2013.2
-
Music for Tesla Coils
-
A Developer's Kit for Maya
-
-
An RPG written in mIRC
-
-
