Skip to content
View dwrensha's full-sized avatar
354 followers · 5 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@cbv @keymaerad @capnproto @leanprover-community

Block or report dwrensha

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
@jackpooley
Jack Pooley jackpooley
Work account: @jackpooleywc

Zurich, Switzerland

@sgoguen
Steve Goguen sgoguen
@W0rldSeeker
W0rldSeeker
@Natto97
Natto97 Natto97
莫愁前路无知
@ubbabeck
Ruben ubbabeck
correct me when i'm wrong | GPG 02EE C4DA 297F BDFE EBA0 DB34 7296 CE3B 33E1 8E35

↑

@eust-w
longtao eust-w
Focus on AI !

Sol III

@joewatt95
joewatt95
@Connor9994
Connor Connor9994
@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@oneofvalts
Abdullah Uyu oneofvalts
@fenollp
Pierre Fenoll fenollp
𝘵𝘩𝘦 𝘣𝘶𝘪𝘭𝘥𝘴 𝘮𝘶𝘴𝘵 𝘧𝘭𝘰𝘸 Maintains erldocs.com https://keybase.io/fenollp

@Scaleway Terre

@and0sha
And Sha and0sha
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@lychees
minakokojima lychees
Yet another Xoogler ...

Google Shanghai

@juliofleitas
Julio Fleitas juliofleitas
@k00sharath
Sharath chandran k00sharath
@amirsefati
amir amirsefati

Estonia

@MrcPl
MrcPl
@Josh-Tilles
Josh Tilles Josh-Tilles
@evelynmitchell
evelynmitchell

Fort Collins, CO

@tarkan2071
tarkan2071
@Diophantus03
Sachin Kumar Diophantus03
BMath in Pure Math, Math Finance & CO

@UWaterloo Ontario, Canada

@kpadmasola
Krishna Padmasola kpadmasola

Hyderabad, India

@stepbrobd
StepBroBD stepbrobd

Northeastern University Boston, MA

@void4
void4
@ahuoguo
ahuoguo ahuoguo
Alexander Bai

Tufts University

@txc701
txc701
@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@lakesare
Evgenia Karunus lakesare

Tbilisi

@mortarsanjaya
Gian Sanjaya mortarsanjaya
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@azide0x37
Alex Templeton azide0x37

SRE Saint Louis, MO

@singhaman1750
Aman Singh singhaman1750
PhD scholar at @StochLab, RBCCPS, IISc. I like to design and control dynamic robotic systems, with particular interest in legged robots.

Stoch Lab, RBCCPS, IISc Bengaluru, Karnataka, India

@alok
Alok Singh alok
If you’re a smooth operator, you can infinitely differentiate yourself.

Berkeley, CA

@curenosm
Misael Cureño curenosm
@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@ebresafegaga
Gaga ebresafegaga
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@gc-garcol
Thai Van gc-garcol
Cafe & code
@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@yodamaster
yodamaster
@lin72h
lin72h
@bionicles
bion howard bionicles

Hilton Head Island, South Carolina

@rekmarks
Erik Marks rekmarks

USA

@xu3kev
Wen-Ding Li xu3kev
@z0mz0m
z0mz0m
@Elkiwa
Jeremy Cheng Elkiwa

@508-dev Kaoshiung, Taiwan

@omidgz
Omid omidgz
Golang, Python, JS, TS, Vue, EDD, OOP, React, Postgres, SQL, AWS, GCP, Concurrency, DS, Microservices
@soraros
soraros
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

@cue-lang Vienna, Austria