A website for the #proglangdesign community on freenode
a bot for the /r/ProgrammingLanguages discord that sorts project channels and moves them into an "inactive" category
The programming language design wiki.
The configuration for the bridge between #proglangdesign on Freenode and the /r/ProgrammingLanguages Discord.
A bridge between Matrix and Discord.
A logging bot and search-engine for #proglangdesign