Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Adam Porter
alphapapa
Developer with experience in editors (Emacs/Org), Python, Linux, Web front- and back-ends, documentation, testing/QA, support, etc.
USA
Nayuki
nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.
Project Nayuki Toronto, Ontario, Canada
Luo Yihang
Luo-Yihang
CS @ Nanyang Technological University
Nanyang Technological University Singapore
Amy Bluescreenofdeath
AmyBSOD
I'm the crazy girl who develops SLASH'EM Extended, and the people who hate my game can just fuck off. I'm not gonna change it just because they complain.
Gehennom