Skip to content
View chaudhuri's full-sized avatar
19 followers · 0 following

Organizations

@abella-prover @distributed-assertions

Block or report chaudhuri

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
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@tausbn
Taus tausbn
@luigi-massacci
Luigi Massacci luigi-massacci
MSc student in Mathematics @ Université Paris-Saclay

Université Paris-Saclay Orsay, France

@lemuellew
Lemuel Lew lemuellew

Planet Vegeta

@mariecamelle
mariecamelle
@Dragon-Fly-02
Dragon_Fly_02 Dragon-Fly-02
Tough times don't last, tough people do.

Edinburgh, United Kingdom

@ayahankir
ayahankir
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@mytxd
尹名洋 mytxd
Haskeller
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@kyagrd
Ki Yung Ahn kyagrd

Korea

@apiology
Vince Broz apiology

Arlington, VA

@adharmad
Amol Dharmadhikari adharmad

Ionate Inc San Francisco, CA

@UnixJunkie
François Bérenger UnixJunkie
Cheminformatician

Applied Cheminformatics International Cambridge, UK

@mjambon
Martin Jambon mjambon
Automation enthusiast

Semgrep San Francisco Bay Area

@huitseeker
François Garillot huitseeker
Dabbling with streams & distributed data in close proximity to ☕.

4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6 Tiohtià:ke

@thelema
Edgar Friendly thelema

San Jose, CA, USA