Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
danielbayley / Ableton-Live-tools
A collection of useful additions to Ableton Live, including better Git integration.
-
DavW / midihack
Algorithmic music project for MIDIHACK 2014
-
adamjmurray / js-live-api-humanize-midi-clips
An example of using the Max for Live JavaScript API to modify MIDI clips.
-
Iyouboushi / mIRC-BattleArena
mIRC Bot - Battle Arena
-
lorin / alloy-fish
-
fstakem / alloy_book
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
-
kepae / alloy-coin
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
-
SaberMirzaei / Alloy-Model-of-MCA
An Alloy Verification Model for Consensus-Based Auction Protocols
-
Binomio / bootstrap-base-song-for-live9
Bootstrap template for producing a song with Ableton Live 9
-
CsUnipa / Architetture
Appunti, esami e materiale di Architetture degli elaboratori
-
samueltcsantos / logica.alloy
Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
-
aishamidori / cs195y-final
Implementation of proofs for graph theory properties and algorithms in alloy.
-
felippeSales / projetoDeLogica
Projeto de Lógica 2013.2
-
BGCX261 / zigbee-alloy-svn-to-git
-
mravella / maya_model
CS195Y Final Project. Logic model of Autodesk Maya.
-
devd / websecmodel
Automatically exported from code.google.com/p/websecmodel
-
cpmpercussion / teslamusic
Music for Tesla Coils
-
ArcherCraftStore / ArcherCraft_Maya
A Developer's Kit for Maya
-
z64 / track-52314
-
usdivad / ada_sib
-
kmcallister / gc-models
Garbage collector models in Alloy
-
millerns / ReliableDataTransfer
-
pron / amazon-snapshot-spec
TLA+ and Alloy specs of database isolation
-
rossgore / alloy-tutorial
Material from SpringSim tutorial on Conceptual Modeling with Alloy
-
awolfmann / ingsoft2