sbjoshi

Researcher in Computer Science

Pinned Repositories

academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 1 00
CppIndiaCon-Examples
Language:C++0 1 00
google-drive-folder-downloader
Download Google Drive folder without zipping!
Language:Python1 0 00
iith-logo
IITH Logo and Letterhead in LaTeX
Language:TeX3 2 02
IITHThesis
Thesis template for IIT Hyderabad.
Language:TeX1 0 01
llvm2goto
Translator for LLVM IR to CPROVER IR (goto-programs)
Language:C2 4 290
Open-WBO-Inc
An incomplete MaxSAT solver for weighted MaxSAT problems
Language:C++5 3 22
Pinaka
A symbolic execution engine for finding bugs in programs.
Language:Python8 3 00
ta-allocation
Language:Python1 2 41

sbjoshi/Pinaka
A symbolic execution engine for finding bugs in programs.
Language:Python8 3 00
sbjoshi/Open-WBO-Inc
An incomplete MaxSAT solver for weighted MaxSAT problems
Language:C++5 3 22
sbjoshi/iith-logo
IITH Logo and Letterhead in LaTeX
Language:TeX3 2 02
sbjoshi/llvm2goto
Translator for LLVM IR to CPROVER IR (goto-programs)
Language:C2 4 290
sbjoshi/google-drive-folder-downloader
Download Google Drive folder without zipping!
Language:Python1 0 00
sbjoshi/IITHThesis
Thesis template for IIT Hyderabad.
Language:TeX1 0 01
sbjoshi/ta-allocation
Language:Python1 2 41
sbjoshi/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 1 00
sbjoshi/CppIndiaCon-Examples
Language:C++0 1 00
sbjoshi/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python0 0 00
sbjoshi/numgames
Language:HTML
sbjoshi/oldweb
Saurabh Joshi's Homepage
Language:SCSS2 0
sbjoshi/sanganak-examples
C programs used in ID 1063 lectures
Language:C++1 09
sbjoshi/sbjoshi.github.io
📝 Easily create a beautiful academic website using Hugo, GitHub, and Netlify
Language:TeX1 01