Learn more about how TUM uses Zulip ↗ Powerful formatting Type LaTeX directly into your Zulip message, and see it beautifully rendered. Structure your points with bulleted and numbered lists. Zulip code blocks come with syntax highlighting for over 250 languages, and integrated code playgrounds. ...
Learn more about how TUM uses Zulip ↗ Interactive messaging Useemoji reactionsfor lightweight interactions. Have fun withcustom emojiand gather feedback withpolls. Hide answers behindspoilers, letting students think before they read. Share lecture notes and reading materials withdrag-and-drop file up...
Bot for zulip.in.tum.de; a generic Zulip bot tumzulip-clientzulip-botzulip-api UpdatedOct 2, 2024 Python Lambdabot for Zulip Chat haskellzulip-bot UpdatedDec 20, 2018 Haskell apkallum/zulip-reminder-bot Star5 Code Issues Pull requests ...
Work on Goblint was supported in part by Deutsche Forschungsgemeinschaft (DFG) (47140942/1480 [PUMA](https://gepris.dfg.de/gepris/projekt/4714094), 378803395/2428 [ConVeY](http://convey.in.tum.de)), ARTEMIS Joint Undertaking (269335 [MBAT](http://www.mbat-artemis.eu/home/)), ITE...
Learn more about how TUM uses Zulip ↗ Powerful formatting Type LaTeX directly into your Zulip message, and see it beautifully rendered. Structure your points with bulleted and numbered lists. Zulip code blocks come with syntax highlighting for over 250 languages, and integrated code playgrounds. ...