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 19 5 Built by @mark-henry
  3. mIRC Bot - Battle Arena

    Alloy 16 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 10 1 Built by @jamesbornholt
  6. TLA+ and Alloy specs of database isolation

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

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

    Alloy 8
  9. Bootstrap template for producing a song with Ableton Live 9

    Alloy 8 2 Built by @gabamnml
  10. Alloy 8 2 Built by @lorin
  11. Material from SpringSim tutorial on Conceptual Modeling with Alloy

    Alloy 7 1 Built by @rossgore
  12. An Alloy Verification Model for Consensus-Based Auction Protocols

    Alloy 7 2 Built by @SaberMirzaei
  13. Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"

    Alloy 7 2 Built by @fstakem
  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. Alloy 5 Built by @invalid-email-address
  18. Projeto de Lógica 2013.2

    Alloy 5 1 Built by @salesfelipe @LeticiaLBarbosa @IsabellyCavalcante @analuizamtg
  19. Alloy 4 1 Built by @MarkusWeckesser @t-schnabel @RolandKluge
  20. Alloy 4 Built by @millerns
  21. Alloy 4 1
  22. Garbage collector models in Alloy

    Alloy 4 Built by @kmcallister
  23. Music for Tesla Coils

    Alloy 4 1 Built by @cpmpercussion
  24. A Developer's Kit for Maya

    Alloy 4 1 Built by @ACOKing
  25. Project repository

    Alloy 2 Built by @GianmarcoGiummarra @davidefisicaro @salvatoreferrigno
Other Languages
ProTip! Looking for most forked Alloy repositories? Try this search