Bisma Joyosumarto
BismaBRJ
A regular student who occasionally goes on GitHub to publish his code for everyone else to see.
South Jakarta, Jakarta, Indonesia
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
Evgeniy Grigoriewitch Philippov
asmexcaliburwoods
Ἀχιλλεύς Et Ὀδυσσεύς. To be or to choose, that is the question. AKA @egphilippov1
PANDORACOSMOS
Junyan Xu
alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Universität Heidelberg Heidelberg / Shenzhen