GitHub repository: tum-zulip/tumcsbot
Primary language: Python
Description: Bot for zulip.in.tum.de; a generic Zulip bot