• Git hook to synchronize with other repositories on pushes

    Python Updated Aug 6, 2013
  • Mussum is a IRC bot for managing machine reservation and usage in a team

    Python Updated Dec 26, 2012
  • Revisis - code review tool

    3 Updated Mar 4, 2012