Grimmauld
LordGrimmauld
I am a uni student working on nix, Linux, and occasionally game modding.
Alan L
Alan-Liang
Personal stuff migrated to https://codeberg.org/altk . Being fed up with GitHub.
Boxue Yang
BoxueYang
I am Boxue Yang, a student in Shanghai Jiao Tong University. I want to study in Github and try to make some contributions to the community.
Shanghai Jiao Tong University Shanghai Jiao Tong University
WÁNG Xuěruì
xen0n
The wandering craftsman, deliberately living his life the hard way.
@gentoo Shanghai
CF Bolz-Tereick
cfbolz
PyPy (and occasional CPy) developer, interested in dynamic language implementations in general, JITs and compilers
Duisburg, Germany
SJTU-JohnClass
SJTUJohnClass
Archived Assignments from **Program Design and Data Structure** courses in John Hopcroft Class, Zhiyuan Honor Program, Shanghai Jiao Tong University.
GuangTao Zhang
GTrunSec
if you have any question for me, feel free to email me or gtrunsec:matrix.org
Orange County
Shao Wang
Electronic-Waste
Shanghai Jiao Tong University. Shanghai, China
kurumi
fantacyfromsjtu
Shanghai Jiao Tong University in Information Security
Shanghai Jiao Tong University
Kitak1rin
GMH233
Undergraduate @SJTU-SE.
Occam's razor is razor-sharp.
Shanghai Jiao Tong University Shanghai
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Litao Zhou
ltzone
Ph.D. student @hkuplg, Programming Languages
The University of Hong Kong Hong Kong
Mike He
AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems
@PrincetonUniversity Princeton, NJ
PreviousNext