Skip to content
View Chobbes's full-sized avatar
82 followers · 139 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Organizations

@vellvm @HaskellEmbedded @ExEditor @HaskellAmbiguity

Block or report Chobbes

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
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@juanmvsa
Juan Vásquez juanmvsa
PhD student in CS at CU Boulder

@blast-cu USA

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@npe9
Noah Evans npe9

Sandia National Laboratories Livermore California

@Neustradamus
Neustradamus Neustradamus
@ashasoroushpoor
ashasoroushpoor

Iran, Tehran

@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@uncomfyhalomacro
Soc Virnyl S. Estela uncomfyhalomacro
I just want to code and code and build stuff in @rust-lang and @JuliaLang 🫂

TRIBE Philippines

@alberdingk-thijm
Tim Alberdingk Thijm alberdingk-thijm

@PrincetonUniversity

@akilegaspi
Adrian Legaspi akilegaspi
Software Detective at @evolution-gaming

@evolution-gaming

@SequentialDesign
SequentialDesign
@dirambora
Diram dirambora
Software Engineer | Java | SpringBoot | Flutter | Digital Creator | Google Women TechMakers Ambasaddor.

Nairobi,Kenya

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@J0HN50N133
JohnsonLee J0HN50N133
@salimp2009
Salim Pamukcu salimp2009
C , Rust , Haskell, Back to C Lord of the Rings 🚀🚀

life time student

@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@intoverflow
Tim Carstens intoverflow

Seattle, WA

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

Purdue University West Lafayette, Indiana

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@ahmadsafirun
ahmadsafirun
@Honkenbonkers
Reed Elenz Honkenbonkers
#honeknbonkers
@PalindromeLeung
Hannah Leung PalindromeLeung

San Mateo, CA

@rvf0068
Rafael Villarroel rvf0068
Mathematician

UAEH Pachuca, Mexico

@fessehaye
Simon Fessehaye fessehaye
Front End Developer

Vancouver, British Columbia, Canada

@j-hui
John Hui j-hui
programming languages, compilers, systems, computer music

@apple Cupertino, CA

@tarberd
Bernardo Ferrari tarberd
@askurihin
Skurikhin Alexandr askurihin
Long time python user

Russia

@jakeisnt
Jake Chvatal jakeisnt
using a computer should be fun

@improvin Stockholm, Sweden

@ayo-dele-akin
Ayodele ayo-dele-akin
Human
@mplscorwin
Corwin mplscorwin
Buckaroo Banzai but it's hand-drums, Perl and Emacs instead of brain surgery, cars, and mountains; now specializing in having many children and being married-up

A Great Big Company! Minneapolis, MN

@Liby99
Ziyang Li Liby99
No Code No Life | Ph.D Student in UPenn CIS

University of Pennsylvania Philadelphia, PA

@quewean
quewean
@plaidfinch
finch plaidfinch
founder & director @starlingcyber; previously: founding core eng. @penumbra-zone, senior eng. @boltlabs-inc, researcher @GaloisInc, ABD PhD in PL @ UPenn

@starlingcyber

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

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

ETH Zurich

@juanbono
Juan Bono juanbono

@lambdaclass Buenos Aires, Argentina

@graydon
Graydon Hoare graydon

Vancouver, BC

@PTPS66
PTPS66
@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@TarHeelTonyFang
Zhengyang Fang TarHeelTonyFang
Tony

San Francisco, CA

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.

@Alibaba Shanghai

@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science at the University of Toronto

University of Toronto Toronto, Ontario

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

Davis, California, USA

@PaulStets
PaulStets
@JimmyYummy
Jimmy JimmyYummy
Learner on Java, Python, web development, data processing, and machine learning.

Amazon Seattle, WA

@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@ebpa
Erik Anderson ebpa

Minneapolis, MN

@DSoko2
Daniel Sokolowski DSoko2

University of St. Gallen St. Gallen, Switzerland

@beardhatcode
Robbert Gurdeep Singh beardhatcode
Researcher at IMEC vzw

IMEC vzw Leuven, Belgium