Skip to content
View Chobbes's full-sized avatar
97 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
@kennyballou
Kenny Ballou kennyballou
☕ :(){ :|:& };:

+[>+]

@Matafou
Pierre Courtieu Matafou
@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@rpitasky
Ryan Pitasky rpitasky
Cemetech administrator, IOPCC '25 judge. Interested in systems and anything at the intersection of algorithms and low-level wizardry. Co-founder of @TI-Toolkit

Case Western Reserve University

@llvm
LLVM llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@nunoplopes
Nuno Lopes nunoplopes

University of Lisbon Lisbon, Portugal

@yangzhixuan
Zhixuan Yang yangzhixuan

Imperial College London Web

@KatStark
KatStark
@IQubic
Sophia Caspe IQubic
I go by Rubix on other platforms
@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@Thelxiepeia
Thelxiepeia
@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@layus
Guillaume Maudoux layus

Discworld

@CharleyShattuck
Charley Shattuck CharleyShattuck

Roseville, CA

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@umazalakain
Uma Zalakain umazalakain

Glasgow, Scotland

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@alexhuntley
Alex Huntley alexhuntley

United Kingdom

@graydon
Graydon Hoare graydon

Vancouver, BC

@egh
Erik Hetzner egh

CZI

@excalamus
excalamus
@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@PalindromeLeung
Hannah Leung PalindromeLeung

San Mateo, CA

@stephenmell
stephenmell
@fessehaye
Simon Fessehaye fessehaye
Front End Developer

Vancouver, British Columbia, Canada

@cipher1024
Simon Hudon cipher1024

Bedrock Systems Boston

@satnam6502
Satnam Singh satnam6502
Functional programming, hardware design and formal specification and verification.

Los Altos, California, United States

@EdNutting
Ed Nutting EdNutting
Entrepreneur, Engineer, Educator, Innovator

VyperCore Cambridge/London/Bristol, UK

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@aqjune
Juneyoung Lee aqjune
A personal github account.

AWS Austin, TX

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@nrioux
Nick Rioux nrioux

University of Pennsylvania Philadelphia

@ksugama
Kento Sugama ksugama

New York, New York

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

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

@PingCAP Shanghai Hongkou

@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science

University of Toronto Toronto, Ontario

@Lysxia
Xia Li-yao Lysxia
@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@bnjw5jhyxn
Steve Hsu bnjw5jhyxn
@PaulStets
PaulStets
@vastopol
Sean Richardson vastopol
@beardhatcode
Robbert Gurdeep Singh beardhatcode
Researcher at IMEC vzw

IMEC vzw Leuven, Belgium

@mattam82
Matthieu Sozeau mattam82

Inria Nantes

@vzaliva
Vadim Zaliva vzaliva

University of Cambridge, Digamma.ai Saratoga, CA, USA

@Zdancewic
Steve Zdancewic Zdancewic

University of Pennsylvania United States