Skip to content
Avatar
💭
Why does this exist?
💭
Why does this exist?
145 followers · 11 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2
BetaSend feedback

Organizations

@brownplt @frenetic-lang @plasma-umass @nuprl @ut-amrl
Block or Report

Block or report arjunguha

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.

Report abuse

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

Report abuse

Pinned

  1. pliss2019 Public archive

    TeX 2

  2. ocelot-ide/Ocelot Public

    An IDE for JavaScript, without the "bad parts".

    TypeScript 29 4

  3. nuprl/TypeWhich Public

    Customizable, solver-based type migration for the gradually-typed lambda calculus.

    Rust 1

  4. nuprl/MultiPL-E Public

    A multi-programming language benchmark for evaluating the performance of large language model of code.

    Python 12 3

1,355 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

November 1, 2022

arjunguha has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.