Skip to content
View Kraks's full-sized avatar
:octocat:
:octocat:
336 followers · 436 following

Achievements

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

Achievements

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

Highlights

  • Pro

Organizations

@Ucombinator @Rocq-zh @Generative-Program-Analysis @rhyme-lang

Block or report Kraks

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@sampsyo
Adrian Sampson sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".

Cornell University Ithaca, NY

@sinhp
Sina Hazratpour sinhp
Category Theory, Type Theory, Formalization, ML

Netherlands

@e45lee
Edward Lee e45lee
Assistant Professor, Teaching Stream, University of Toronto at Scarborough

University of Toronto at Scarborough Toronto, ON

@peterthiemann
Peter Thiemann peterthiemann

University of Freiburg Freiburg Germany

@thaliaarchi
Thalia Archibald thaliaarchi
PhD student researching compilers

University of Utah

@andongfan
Andong Fan andongfan
CS PhD student working on programming languages.

University of Toronto

@ccasin
Chris Casinghino ccasin
I write programs.
@rami3l
rami3l rami3l
🔹 Rustup component at home

Paris, France

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@reb-ddm
Rebecca Ghidini reb-ddm
@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@amirsh
Amir Shaikhha amirsh
Associate Professor (Reader) at Edinburgh, Former PhD Student at EPFL and Lecturer at Oxford, Interested in Databases, Programming Languages, and Compilers

Edinburgh, United Kingdom

@VincenzoArceri
Vincenzo VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma

University of Parma Parma

@pnkfelix
Felix S Klock II pnkfelix

Massachusetts, USA

@gunrock
gunrock
All things GPUs, Graph Analytics, Sparse Linear Algebra and Load-Balancing (By @owensgroup).

United States of America

@chengpeng-wang
Chengpeng Wang chengpeng-wang
Static Analysis, Software Testing, SE/PL Old Account: https://github.com/wcphkust

Postdoc@Purdue CS, HKUST Alumnus West Lafayette

@JialuJialu
Jialu JialuJialu
@pa-ba
Patrick Bahr pa-ba
Associate Professor in Programming Languages

IT University of Copenhagen Copenhagen, Denmark

@kamome1037
Jun Tan kamome1037

USTC

@werifu
Chen werifu
PL/SE/Web | PhD student

Purdue University West Lafayette, IN

@juniorxxue
Xu Xue juniorxxue

@hkuplg

@byeongjee
Byeongjee Kang byeongjee
PhD student at Carnegie Mellon University

Pittsburgh, PA

@GuoDCZ
Zhiyao Zhong GuoDCZ
National University of Singapore
@SHoltzen
Steven Holtzen SHoltzen

Northeastern University Boston, MA

@kainwen
Zhenghua Lyu kainwen
Greenplum Database developer

Broadcom Beijing

@robertzhidealx
Robert Zhang robertzhidealx
Research Fellow @theorem-labs | CS PhD @ UT Austin | Formerly BS/MS @ Johns Hopkins, Intern @facebook

San Francisco

@YudaiUrabe
Yudai Urabe YudaiUrabe
Have a look at my website ↓
@Chaarlesss
Charles de Haro Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages

École Normale Supérieure Paris, France

@JanetYin
Zhenyun Yin JanetYin
@amintimany
Amin Timany amintimany
Associate professor of computer science in the Programming Languages, Logic, and Software Security (PLS) section of Aarhus University — @logsem

Aarhus University Aarhus, Denmark

@butterunderflow
butterunderflow
@yangky11
Kaiyu Yang yangky11
@wcphkust
wcphkust wcphkust
Static analysis, program language theory

Postdoc@Purdue CS, HKUST Alumnus West Lafayette

@quernd
Daniel Quernheim quernd
computational linguist

@dottxt-ai Portugal

@probcomp
MIT Probabilistic Computing Project probcomp

Cambridge, MA

@gancherj
Joshua Gancher gancherj
Assistant Professor at Northeastern University
@nunoplopes
Nuno Lopes nunoplopes

University of Lisbon Lisbon, Portugal

@CatharsisFonts
Christian Thalmann CatharsisFonts

Catharsis Fonts Zürich

@conrad-watt
Conrad Watt conrad-watt
Assistant Professor, NTU Singapore. Co-chair of the WebAssembly Community Group.

Nanyang Technological University

@SethTisue
Seth Tisue SethTisue
Scala Core Team (as Community Advocate); contractor for the Scala Center

Reno, NV

@sgpthomas
Samuel Thomas sgpthomas
@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@ahuoguo
Alex Bai ahuoguo

New York University

@StarGazerM
Sun Yihao StarGazerM
Next 700 Programmer

Syracuse NY

@amp12
Andrew Pitts amp12

University of Cambridge Cambridge, UK

@caterinaurban
Caterina Urban caterinaurban

Inria & École Normale Supérieure Paris, France

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@thelyad
Jocelyn Q. Chen thelyad

New York University

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@DominikPeters
Dominik Peters DominikPeters
CNRS researcher in computer science and voting theory

LAMSADE / Université Paris-Dauphine Paris