Trending

See what the CodeGayHub community is most excited about today.

  1. Algorithmic music project for MIDIHACK 2014

    Alloy 33 3 Built by @DavW
  2. The great Ableton experiment

    Alloy 18 5 Built by @mark-henry
  3. mIRC Bot - Battle Arena

    Alloy 15 7 Built by @Iyouboushi @Tiranadel @Pentium320 @AndrioCelos
  4. An example of using the Max for Live JavaScript API to modify MIDI clips.

    Alloy 12 3 Built by @adamjmurray
  5. An advanced automated reasoning tool for memory consistency model specifications.

    Alloy 9 1 Built by @jamesbornholt
  6. Bootstrap template for producing a song with Ableton Live 9

    Alloy 8 2 Built by @gabamnml
  7. Alloy 8 2 Built by @lorin
  8. An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)

    Alloy 8 4 Built by @Ericson2314 @kepae
  9. Automatically exported from code.google.com/p/websecmodel

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

    Alloy 7 2 Built by @fstakem
  11. An Alloy Verification Model for Consensus-Based Auction Protocols

    Alloy 7 2 Built by @SaberMirzaei
  12. TLA+ and Alloy specs of database isolation

    Alloy 7 1 Built by @pron
  13. Material from SpringSim tutorial on Conceptual Modeling with Alloy

    Alloy 7 1 Built by @rossgore
  14. Implementation of proofs for graph theory properties and algorithms in alloy.

    Alloy 6 Built by @avanhatt @ajpal @aishamidori
  15. Repositório para o Projeto de da Disciplina de Lógica usando Alloy.

    Alloy 6 Built by @samueltcsantos @BrunoRafael @aparecidoSilvano
  16. CS195Y Final Project. Logic model of Autodesk Maya.

    Alloy 5 Built by @mravella
  17. Projeto de Lógica 2013.2

    Alloy 5 1 Built by @salesfelipe @LeticiaLBarbosa @IsabellyCavalcante @analuizamtg
  18. Alloy 5 Built by @invalid-email-address
  19. A Developer's Kit for Maya

    Alloy 4 1 Built by @ACOKing
  20. Music for Tesla Coils

    Alloy 4 1 Built by @cpmpercussion
  21. Alloy 4 Built by @millerns
  22. Alloy 4 1
  23. Garbage collector models in Alloy

    Alloy 4 Built by @kmcallister
  24. Alloy 4 1 Built by @MarkusWeckesser @t-schnabel @RolandKluge
  25. Электротехника

    Alloy 3 Built by @taxnuke
Other Languages
ProTip! Looking for most starred Alloy repositories? Try this search