Block or report user

Popular repositories

  1. SpaceRace

    Multiplayer physics-based racing game in space!

    Haskell 1

  2. compilers

    Forked from compilers-s11/compilers


  3. abella

    Forked from abella-prover/abella

    An interactive theorem prover based on lambda-tree syntax

    OCaml 1

  4. dotfiles


0 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

January - June 2017

salilj has no activity yet for this period.

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