Skip to content

Trending in open source

See what the GitHub community is most excited about today.

  1. danielbayley / Ableton-Live-tools

    A collection of useful additions to Ableton Live, including better Git integration.

    Alloy • Built by @danielbayley @maido

  2. DavW / midihack

    Algorithmic music project for MIDIHACK 2014

    Alloy • Built by @DavW

  3. adamjmurray / js-live-api-humanize-midi-clips

    An example of using the Max for Live JavaScript API to modify MIDI clips.

    Alloy • Built by @adamjmurray

  4. Iyouboushi / mIRC-BattleArena

    mIRC Bot - Battle Arena

    Alloy • Built by @Iyouboushi @Tiranadel @AndrioCelos

  5. lorin / alloy-fish

    Alloy • Built by @lorin

  6. fstakem / alloy_book

    Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"

    Alloy • Built by @fstakem

  7. kepae / alloy-coin

    An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)

    Alloy • Built by @Ericson2314 @kepae

  8. SaberMirzaei / Alloy-Model-of-MCA

    An Alloy Verification Model for Consensus-Based Auction Protocols

    Alloy • Built by @SaberMirzaei

  9. Binomio / bootstrap-base-song-for-live9

    Bootstrap template for producing a song with Ableton Live 9

    Alloy • Built by @gabamnml

  10. CsUnipa / Architetture

    Appunti, esami e materiale di Architetture degli elaboratori

    Alloy • Built by @alessiolombardo @dlion @liggiorgio

  11. samueltcsantos / logica.alloy

    Repositório para o Projeto de da Disciplina de Lógica usando Alloy.

    Alloy • Built by @samueltcsantos @BrunoRafael @aparecidoSilvano

  12. aishamidori / cs195y-final

    Implementation of proofs for graph theory properties and algorithms in alloy.

    Alloy • Built by @avanhatt @ajpal @aishamidori

  13. felippeSales / projetoDeLogica

    Projeto de Lógica 2013.2

    Alloy • Built by @felippeSales @LeticiaLBarbosa @IsabellyCavalcante @analuizamtg

  14. BGCX261 / zigbee-alloy-svn-to-git

    Alloy • Built by @invalid-email-address

  15. mravella / maya_model

    CS195Y Final Project. Logic model of Autodesk Maya.

    Alloy • Built by @aehren @mravella

  16. devd / websecmodel

    Automatically exported from code.google.com/p/websecmodel

    Alloy •

  17. cpmpercussion / teslamusic

    Music for Tesla Coils

    Alloy • Built by @cpmpercussion

  18. ArcherCraftStore / ArcherCraft_Maya

    A Developer's Kit for Maya

    Alloy • Built by @ACOKing

  19. z64 / track-52314

    Alloy •

  20. usdivad / ada_sib

    Alloy • Built by @usdivad

  21. kmcallister / gc-models

    Garbage collector models in Alloy

    Alloy • Built by @kmcallister

  22. millerns / ReliableDataTransfer

    Alloy • Built by @millerns

  23. pron / amazon-snapshot-spec

    TLA+ and Alloy specs of database isolation

    Alloy • Built by @pron

  24. rossgore / alloy-tutorial

    Material from SpringSim tutorial on Conceptual Modeling with Alloy

    Alloy • Built by @rossgore

  25. awolfmann / ingsoft2

    Alloy • Built by @awolfmann

ProTip! Looking for most starred Alloy repositories? Try this search
Something went wrong with that request. Please try again.