Agda Github Community
Taylor Belcher
hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
South Carolina Governor's School for Science and Mathematics Hartsville, SC
Lex van der Stoep
lexvanderstoep
Software developer | MEng Computer Science @ University of Cambridge
Amsterdam
Jose Carlos Padilla Cancio
J0s3c4rl0s
CSE BSc from TUD
Currently pursuing my masters at TUD.
Big on data and PL concepts.
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Ali
deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Standard ML, Scheme and Assembly
deadmarshal Iran, Karaj
Dirk Arnez
dirkarnez
Freelance Software Engineer | Composer | Mixer | Multi-instrumentalist
Freelance Hong Kong
la .varik. .VALefor.
varikvalefor
ni'o la .varik. cu prami le mergu'e je cu cmacypre je cu mutce le ka ce'u seljda kei je cu co'e... je cu co'e ja ponse la'o zoi. varikvalefor@aol.com .zoi.
US-MD
psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Zyad Yasser
zyasserd
Computer Science & Math at NYU Abu Dhabi
New York University Abu Dhabi Abu Dhabi, UAE
Veselin Stanchev,Eng. MSc
vrstanchev
Eng. MSc @ TU Plovdiv ,Bulgaria.🇧🇬 Passion about 🐧 GNU/Linux OS -> Debian, FOSS. Computer Architectures PhD field. Twitch streamer @vrstanchevLab
@vrstanchevlab Online
