Pinned Repositories
marlin
A Rust library for the Marlin preprocessing zkSNARK
snark
Interfaces for Relations and SNARKs for these relations
2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
algorithms-cpp
Implementation of various algorithms / data structures in CPP.
attendanceReminder
A utility to send reminder mail if attendance is not marked.
bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
CAV-2020-benchmarks
Benchmarks and results for the CAV 2020 paper.
h2048
An implementation of the game 2048 in Haskell
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
ssahai's Repositories
ssahai/CAV-2020-benchmarks
Benchmarks and results for the CAV 2020 paper.
ssahai/2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
ssahai/algorithms-cpp
Implementation of various algorithms / data structures in CPP.
ssahai/attendanceReminder
A utility to send reminder mail if attendance is not marked.
ssahai/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
ssahai/h2048
An implementation of the game 2048 in Haskell
ssahai/hmfaysal-omega-theme
HMFAYSAL OMEGA is a minimalist, beautiful, responsive theme for Jekyll designed for writers who want their content to take front and center.
ssahai/howdoi
howdoi - instant coding answers via the command line
ssahai/juice-shop
OWASP Juice Shop: Probably the most modern and sophisticated insecure web application
ssahai/learntla
A TLA+ guide
ssahai/linux
Linux kernel source tree
ssahai/marlin
A Rust library for the Marlin preprocessing zkSNARK
ssahai/Notepad
Notepad is a Jekyll theme which is very simple, clean and beautiful
ssahai/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
ssahai/piston
A high performance general purpose code execution engine.
ssahai/poll-app
Polling app. Derived from django example. https://docs.djangoproject.com/en/1.9/intro/tutorial01/
ssahai/python
Scripts that I wrote while learning python.
ssahai/rsms.github.com
My blog
ssahai/sharelatex
A web-based collaborative LaTeX editor
ssahai/sigSec
Webpage of SigSec at IIT Kanpur
ssahai/vim-pathogen
pathogen.vim: manage your runtimepath