Skip to content
View arjunguha's full-sized avatar
:shipit:
Why does this exist?
:shipit:
Why does this exist?
174 followers · 13 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 @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.

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

Pinned

  1. pliss2019 pliss2019 Public archive

    TeX 2

  2. nuprl/Ocelot nuprl/Ocelot Public archive

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

    TypeScript 29 5

  3. nuprl/TypeWhich nuprl/TypeWhich Public archive

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

    Rust 2 1

  4. nuprl/MultiPL-E nuprl/MultiPL-E Public

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

    Python 152 34