close
The Wayback Machine - https://web.archive.org/web/20160323215730/https://github.com/trending/alloy
Skip to content
Learn more
Please note that GitHub no longer supports Internet Explorer versions 7 or 8.

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

If you are using IE 11, make sure you turn off "Compatibility View".

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 recently updated Alloy repositories? Try this search
Something went wrong with that request. Please try again.