Skip to content
View Chobbes's full-sized avatar
98 followers · 146 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@PhysShell
PhysShell
@dewhush
Dewantoro Kunto Wibisono dewhush
Building interfaces for humans and logic for machines.

Dew Protocols

@vladodio
vladodio
College Student interested in back-end development.
@S4IL21
S4IL S4IL21
Code. Learn. Repeat. 🧑‍💻

Tatom [Owner] Barcelona, Spain

@mckennaparker
McKenna Parker mckennaparker
Current Computer Graphics student at UPenn

Philadelphia, PA

@xuhongxu96
Hongxu Xu xuhongxu96

Waterloo, Ontario, Canada

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@clairew
Claire Wang clairew

UPenn

@elefthei
Lef Ioannidis elefthei
Making AI write proofs about programs @ MSR

Microsoft Seattle, WA

@kennyballou
Kenny Ballou kennyballou
☕ :(){ :|:& };:

+[>+]

@Grahp
Grahp Grahp
Find me on https://grahp.dev :p
@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@diasbruno
Bruno Dias diasbruno
☕ 🛹 🎾 🎼 λ

Brazil

@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
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@npe9
Noah Evans npe9

Draper Laboratories Cambridge Massachusetts

@Neustradamus
Neustradamus Neustradamus
@ashasoroushpoor
ashasoroushpoor

Iran, Tehran

@uncomfyhalomacro
Soc Virnyl S. Estela uncomfyhalomacro

@openSUSE Philippines

@alberdingk-thijm
Tim Alberdingk Thijm alberdingk-thijm

@PrincetonUniversity

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

@evolution-gaming

@SequentialDesign
Daniel Alejandro Tapia SequentialDesign
LEM is the best program EVER !!
@dirambora
Diram dirambora
Software Engineer | Java | SpringBoot | Flutter | Digital Creator | Google Women TechMakers Ambasaddor.

Nairobi,Kenya

@0xameer
0xameer
https://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

ATX

@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

@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 Not-So-Big Company Minneapolis, MN

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@quewean
quewean
@plaidfinch
finch plaidfinch

@oxidecomputer

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil