Pinned Repositories
sasylf
Educational Proof Assistant for Type Theory
CMU-program-analysis.github.io
Public-facing course info for program analysis materials.
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
jonathanaldrich.github.io
Jonathan Aldrich's blog
nominal-wyvern
scholar.hasfailed.us
Google Scholar is a trans-exclusionary site. Don't use it. Help us demand change.
SIGPLAN.github.io
SIGPLAN website
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
wyvern
The Wyvern programming language.
JonathanAldrich's Repositories
JonathanAldrich/jonathanaldrich.github.io
Jonathan Aldrich's blog
JonathanAldrich/nominal-wyvern
JonathanAldrich/scholar.hasfailed.us
Google Scholar is a trans-exclusionary site. Don't use it. Help us demand change.
JonathanAldrich/SIGPLAN.github.io
SIGPLAN website
JonathanAldrich/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research