Skip to content
View arbipher's full-sized avatar
🐪
🐪
51 followers · 60 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report arbipher

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
@MaskRay
Fangrui Song MaskRay
Retired Algo/CTF/Student Cluster Competition player

Earth

@StarGazerM
Sun Yihao StarGazerM
Next 700 Programmer

Syracuse NY

@hazelnutsgz
Guozhen (Lance) She hazelnutsgz
Yet another coding idiot.

Duke University

@mbouaziz
Mehdi Bouaziz mbouaziz

@SkipLabs Laval

@sighingnow
Tao He sighingnow

@alibaba Beijing, China

@Yvan-xy
Yvan Yvan-xy
Compiler Engineer

Aarhus University Moon

@lukstafi
Lukasz Stafiniak lukstafi

Zurich

@art-w
art-w
@jeprinz
Jacob jeprinz
@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@hannesm
Hannes Mehnert hannesm

@robur-coop

@zenzike
Nicolas Wu zenzike

Oxford, UK

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@philnguyen
Phil Nguyen philnguyen

Seattle, WA

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@Octachron
Florian Angeletti Octachron

Inria Paris

@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@raphael-proust
Raphaël Proust raphael-proust
@skbtskbt
Xiaoxi Chen skbtskbt
@cristim
Cristian Magherusan-Stanciu cristim
AWS Optimization Specialist

LeanerCloud.com Berlin, Germany

@tripack45
Yue Yao tripack45
CMU CSD PhD in PL. Types (for) Systems FTW. Previously CMU MSCS and NVidia PTX Compiler Eng.

Pittsburgh, PA

@rntz
Michael Arntzenius rntz
@avsm
Anil Madhavapeddy avsm

University of Cambridge Cambridge, UK

@backtracking
Jean-Christophe Filliatre backtracking
@jserot
jserot
@tarides
Tarides tarides
Building Functional Systems

France

@thierry-martinez
thierry-martinez
@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@robertzhidealx
Robert Zhang robertzhidealx
CS @ Johns Hopkins | Former Intern @ Meta::React | PL

Johns Hopkins University Baltimore, MD

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.

Imandra (@imandra-ai) washington DC

@dra27
David Allsopp dra27
Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

@tarides Cambridge, UK

@mgree
Michael Greenberg mgree

Stevens Institute of Technology Hoboken, NJ

@craigfe
Craig Ferguson craigfe
Software engineer @monzo. Previously @tarides.

Cambridge, UK

@sanette
珊瑚 sanette
@wintersteiger
Christoph M. Wintersteiger wintersteiger

@imandra-ai London, UK

@stedolan
Stephen Dolan stedolan
@ChengyuSong
Chengyu Song ChengyuSong

UC Riverside Riverside, CA

@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

Purdue University

@funemy
Yanze Li funemy
Misunderstanding math and PL
@superobertking
RobertKing superobertking
System PhD Student@UofM

University of Michigan

@prathyvsh
Prathyush prathyvsh
Software Designer

Prabros This spinning rock

@functioner
Haoze Wu functioner
@zarzen
Zhen Zhang zarzen

Baltimore, MD

@marrowleaves
Dexin marrowleaves
@mcfatealan
Chang Lou mcfatealan
System PhD Student@JHU

Johns Hopkins University

@uuujf
Jingfeng Wu uuujf
Postdoc@Berkeley; PhD@JHU.

Baltimore

@AdrienChampion
Adrien Champion AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

anzenlang La Rochelle, France