Block or report user

Report or block chiragbharadwaj

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. ssomayyajula/refinery

    A proof assistant for refinement logics

    OCaml 6

  2. bluedot951/redditcommentor

    Generating text for Reddit comments using natural language methods.

    Python 1

  3. austinhle/openpiton-victim-cache

    ELE575 Spring 2018 Final Project: Victim Caches in OpenPiton


  4. maZang/PokeSnowdown

    Pokemon Showdown in OCaml

    OCaml 2 2

  5. crypto

    Some problems in cryptography that I'm attempting to solve to further my knowledge of the subject.

    Kotlin 1

  6. site

    This is the source code for my personal/academic website.

    HTML 1

280 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2018

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