pranshugaba
PhD research scholar in Theoretical Computer Science at Tata Institute of Fundamental Research, Mumbai
Mumbai, India
Pinned Repositories
decimal-website
Source for Ten Hour Studios website
hugo-website
My personal site built using Hugo
lecture5
E0 235 Lecture 5
LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
maths-wiki
Source for the maths.wiki website
MDP-Simulation-Complexity
Simulation complexity for MDP Reachability
nuxt-website
Source for my personal website built using Nuxt.js
partial-exploration
partial-exploration-old
pranshugaba
Config files for my GitHub profile.
pranshugaba's Repositories
pranshugaba/hugo-website
My personal site built using Hugo
pranshugaba/maths-wiki
Source for the maths.wiki website
pranshugaba/decimal-website
Source for Ten Hour Studios website
pranshugaba/lecture5
E0 235 Lecture 5
pranshugaba/LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
pranshugaba/MDP-Simulation-Complexity
Simulation complexity for MDP Reachability
pranshugaba/nuxt-website
Source for my personal website built using Nuxt.js
pranshugaba/partial-exploration
pranshugaba/partial-exploration-old
pranshugaba/pranshugaba
Config files for my GitHub profile.
pranshugaba/rock_paper_scissors
pranshugaba/rock_paper_scissors_gui
pranshugaba/showcase