Skip to content

Explore GitHub

Trending in open source

See what the GitHub community is most excited about today.

  1. Star

    danielbayley / Ableton-Live-tools

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

    Alloy • Built by @danielbayley @maido

  2. Star

    DavW / midihack

    Algorithmic music project for MIDIHACK 2014

    Alloy • Built by @DavW

  3. Star

    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. Star

    Iyouboushi / mIRC-BattleArena

    mIRC Bot - Battle Arena

    Alloy • Built by @Iyouboushi @Tiranadel @AndrioCelos

  5. Star

    lorin / alloy-fish

    Alloy • Built by @lorin

  6. Star

    fstakem / alloy_book

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

    Alloy • Built by @fstakem

  7. Star

    kepae / alloy-coin

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

    Alloy • Built by @Ericson2314 @kepae

  8. Star

    SaberMirzaei / Alloy-Model-of-MCA

    An Alloy Verification Model for Consensus-Based Auction Protocols

    Alloy • Built by @SaberMirzaei

  9. Star

    Binomio / bootstrap-base-song-for-live9

    Bootstrap template for producing a song with Ableton Live 9

    Alloy • Built by @gabamnml

  10. Star

    CsUnipa / Architetture

    Appunti, esami e materiale di Architetture degli elaboratori

    Alloy • Built by @alessiolombardo @dlion @liggiorgio

  11. Star

    samueltcsantos / logica.alloy

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

    Alloy • Built by @samueltcsantos @BrunoRafael @aparecidoSilvano

  12. Star

    aishamidori / cs195y-final

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

    Alloy • Built by @avanhatt @ajpal @aishamidori

  13. Star

    felippeSales / projetoDeLogica

    Projeto de Lógica 2013.2

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

  14. Star

    BGCX261 / zigbee-alloy-svn-to-git

    Alloy • Built by @invalid-email-address

  15. Star

    mravella / maya_model

    CS195Y Final Project. Logic model of Autodesk Maya.

    Alloy • Built by @aehren @mravella

  16. Star

    devd / websecmodel

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

    Alloy •

  17. Star

    cpmpercussion / teslamusic

    Music for Tesla Coils

    Alloy • Built by @cpmpercussion

  18. Star

    ArcherCraftStore / ArcherCraft_Maya

    A Developer's Kit for Maya

    Alloy • Built by @ACOKing

  19. Star

    z64 / track-52314

    Alloy •

  20. Star

    usdivad / ada_sib

    Alloy • Built by @usdivad

  21. Star

    kmcallister / gc-models

    Garbage collector models in Alloy

    Alloy • Built by @kmcallister

  22. Star

    millerns / ReliableDataTransfer

    Alloy • Built by @millerns

  23. Star

    pron / amazon-snapshot-spec

    TLA+ and Alloy specs of database isolation

    Alloy • Built by @pron

  24. Star

    rossgore / alloy-tutorial

    Material from SpringSim tutorial on Conceptual Modeling with Alloy

    Alloy • Built by @rossgore

  25. Star

    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.