Programming Language Design's repositories
proglangdesign.github.io
A website for the #proglangdesign community on freenode
channel-sorter
a bot for the /r/ProgrammingLanguages discord that sorts project channels and moves them into an "inactive" category
matrix-appservice-discord
A bridge between Matrix and Discord.
matrix.proglangdesign.net
The configuration for the bridge between #proglangdesign on Freenode and the /r/ProgrammingLanguages Discord.