Pinned Repositories
channel-sorter
a bot for the /r/ProgrammingLanguages discord that sorts project channels and moves them into an "inactive" category
eva
A logging bot and search-engine for #proglangdesign
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.
proglangdesign.github.io
A website for the #proglangdesign community on freenode
wiki
The programming language design wiki.
Programming Language Design's Repositories
proglangdesign/proglangdesign.github.io
A website for the #proglangdesign community on freenode
proglangdesign/wiki
The programming language design wiki.
proglangdesign/channel-sorter
a bot for the /r/ProgrammingLanguages discord that sorts project channels and moves them into an "inactive" category
proglangdesign/eva
A logging bot and search-engine for #proglangdesign
proglangdesign/matrix-appservice-discord
A bridge between Matrix and Discord.
proglangdesign/matrix.proglangdesign.net
The configuration for the bridge between #proglangdesign on Freenode and the /r/ProgrammingLanguages Discord.