Skip to content
View angelhof's full-sized avatar
107 followers · 46 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@binpash

Block or report angelhof

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@jdai1
jdai1
Enjoy the little detours to the fullest.

Brown University Providence, RI

@sfmqrb
Sajad F. Maghrebi sfmqrb
Less is more.

CS PhD @ UofT Toronto, Canada

@beike-zh
beike-zh
@amirmtaati
Amir Mohammad amirmtaati
I love learning, building and sharing things.

Pale blue dot

@deepnz
Deepak N deepnz
Specialized Java/Spring/Microservices backend developer. Like Javascript frontend too. I'm currently learning Kotlin, and Go.

Remote US

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@Murplugg
Murplugg
@stevelaskaridis
Steve Laskaridis stevelaskaridis
Applied Scientist @ Amazon Science, ex-Research Scientist at Brave, Samsung AI Center Cambridge, CERN engineer, University of Cambridge alumnus

@amazon-science London, UK

@Decel
Decel
@aversey
Aleksey Veresov aversey

@logicalclocks Stockholm, Sweden

@ezrizhu
ezri ezrizhu
Student interested in software development, computer networking, managing infrastructure at scale, cybersecurity, and DevOps.

@BasedDevelopment NYC

@zmughal
Zaki Mughal [sivoais] zmughal
biomedical image analysis (@CBL-ORION), scientific computing (@EntropyOrg, @PDLPorters), tool for thought (@project-renard). E-mail me if you want to chat!

Washington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha

@annakaranika
Anna Karanika annakaranika
5th year PhD student at CS@UIUC

UIUC Champaign, IL, USA

@SeshatCZ
SeshatCZ

Czech republic

@spyrospav
Spyros Pavlatos spyrospav
PhD student at Penn

University of Pennsylvania Philadelphia

@rtviii
Artem Kushner rtviii

Vienna

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@jeffchen006
Zhiyang Chen jeffchen006
CS PhD Student at University of Toronto; Research Engineer at Zircuit
@ganler
Jiawei Liu ganler
PhD student @illinois. Simplifying the making of great software.

University of Illinois Urbana-Champaign

@Mellonta
Haoran Zhang Mellonta

Meta Bellevue, WA

@ge-stam
Georgia Stamou ge-stam
@yhm-amber
ypa y yhm yhm-amber
🙃 ︵ ɯɥʎɹǝqɯɐ ︵ ╰╰(°□°)

People's Republic of China

@ioannidisAlex
ioannidisAlex
@cliffordfajardo
Clifford Fajardo cliffordfajardo
🏃‍♂️ ultra distance runner 🥤 here for memes & learning

@linkedin Bay Area, California

@miguelraz
Miguel Raz Guzmán Macedo miguelraz
Wannabe time bandit. Computational physics. Julia. Any comments/critiques/suggestions/PRs more than encouraged. 👍 Always looking to learn! 👍

UNAM UNAM, Mexico

@reikdas
Pratyush Das reikdas
PhD student, working on compilers.

Purdue University West Lafayette, Indiana

@samesense
Perry samesense
six feet of Texas trouble

Philadelphia

@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@liangcheng-yu
Liangcheng (LC) Yu liangcheng-yu
Systems and networking
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Jiali-Xing
Jiali Xing Jiali-Xing
A CIS PhD student. #FOSS, #CompSci, #Econ, #ESE, #PoliSci, #Meme, #Game, #History, #Linguistics

University of Pennsylvania Philly<-Duke.edu<-武漢大學

@gzacha
Yannis Zacharopoulos gzacha
🧙🏼‍♂️ DTU

copenhagen

@agiakatsikas
Dimitris Agiakatsikas agiakatsikas
@nickgian
Nick Giannarakis nickgian

AWS Seattle, WA

@elefthei
Lef Ioannidis elefthei
PhD candidate at Penn working in verification and programming languages.

University of Pennsylvania Philadelphia, PA

@NestDream
Li Guo NestDream
Software Engineer @microsoft / Ex-CMU, Apple, Unity, ByteDance, NKU

Microsoft Redmond

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@breandan
breandan breandan
@mariagiannak
Maria Giannakopoulou mariagiannak

@Upcom Athens

@AntonXue
Anton Xue AntonXue
@dunnl
Lawrence Dunn dunnl
@bnjw5jhyxn
Steve Hsu bnjw5jhyxn
@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science

University of Toronto Toronto, Ontario

@Chobbes
Calvin Beck Chobbes

Philadelphia

@omnone
Konstantinos Bourantas omnone

Athens,Greece

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@Aliyun Shanghai Xuhui

@Lysxia
Xia Li-yao Lysxia
@giannisdaras
Giannis Daras giannisdaras
Postdoc, MIT.

MIT Cambridge, MA

@xmpf
Michalis Papadopoullos xmpf