Skip to content
View TiarkRompf's full-sized avatar
330 followers · 9 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@js-scala @scala-lms @purdue-pl @rhyme-lang

Block or report TiarkRompf

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
@Angelogeb
Anxhelo Xhebraj Angelogeb
@PROgram52bc
David Deng PROgram52bc
Third year Ph.D. student in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.

Purdue University West Lafayette, IN

@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

INRIA/ENS; Tufts

@Tantalus13A98B5F
Tantalus13A98B5F
@Kuigesi
RuiqiGao Kuigesi
@GSAir
Essertel Grégory GSAir

Purdue University

@losvald
Leo Osvald losvald

@facebook

@LilliamGonzalez-Alayon
Lilliam I. González-Alayón LilliamGonzalez-Alayon

Lafayette, Indiana

@XilunWu
Xilun Wu XilunWu

@facebookexternal Menlo Park