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

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

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.

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
@Angelogeb
Anxhelo Xhebraj Angelogeb
@PROgram52bc
David Deng PROgram52bc
Ph.D. Candidate 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
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@Tantalus13A98B5F
Songlin Jia 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

Palo Alto