zulip (Zulip server - powerful open source team chat) ¶ See also https://github.com/zulip/zulip https://blog.zulip.org/2016/10/13/static-types-in-python-oh-mypy/