Back to developers
All on GitHub
Developer profile
Programming Language Design
@proglangdesign
About Programming Language Design
#proglangdesign regulars
Public repositories
Recently updated work from this developer
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.proglangdesign.net
The configuration for the bridge between #proglangdesign on Freenode and the /r/ProgrammingLanguages Discord.
proglangdesign
matrix-appservice-discord
A bridge between Matrix and Discord.