Skip to content


  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. An incomplete MaxSAT solver for weighted MaxSAT problems

    C++ 4 1

  2. A symbolic execution engine for finding bugs in programs.

    Python 4

  3. IITH Logo and Letterhead in LaTeX

    TeX 2

  4. Forked from academicpages/

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes


  5. Saurabh Joshi's Homepage


84 contributions in the last year

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

Contribution activity

November 2020

sbjoshi has no activity yet for this period.

October 2020

Created 1 commit in 1 repository
Created 2 repositories

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

You can’t perform that action at this time.