Wheat Wizard

A room for discussing Lean the Language of the Month for October 2021. https://leanprover-community.github.io/

A chat room for discussing the Brain-Flak programming language. Try it online: https://tio.run/#brain-flak Github link: https://github.com/DJMcMayhem/Brain-Flak

For playing the game Contact, where one person tries to "defend" a word against being guessed and others try to "attack". See https://puzzling.meta.stackexchange.com/a/5992 for more info. Bot source code: https://github.com/GentlePurpleRain/Lens

A chat room for developing polyglots, especially for [this PPCG challenge](http://codegolf.stackexchange.com/q/102370/62131).

A room for beta testing a challenge by the same name. https://codegolf.meta.stackexchange.com/a/12807/56656

For Subways and Git

A room for discussing Logic. `^` is the logical and and `->` implies implies.

A room for the discussion of the Moorhen programming language