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
Language:Astro00
hugo-website
My personal site built using Hugo
Language:HTML2 1 00
lecture5
E0 235 Lecture 5
Language:TeX00
LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
Language:JavaScript0 0 00
maths-wiki
Source for the maths.wiki website
1 1 00
MDP-Simulation-Complexity
Simulation complexity for MDP Reachability
Language:Java00
nuxt-website
Source for my personal website built using Nuxt.js
Language:Vue0 0 00
partial-exploration
Language:Java0 0 00
partial-exploration-old
Language:Java01
pranshugaba
Config files for my GitHub profile.
00

pranshugaba's Repositories

pranshugaba/hugo-website
My personal site built using Hugo
Language:HTML2 1 00
pranshugaba/maths-wiki
Source for the maths.wiki website
1 1 00
pranshugaba/decimal-website
Source for Ten Hour Studios website
Language:Astro00
pranshugaba/lecture5
E0 235 Lecture 5
Language:TeX00
pranshugaba/LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
Language:JavaScript0 0 00
pranshugaba/MDP-Simulation-Complexity
Simulation complexity for MDP Reachability
Language:Java00
pranshugaba/nuxt-website
Source for my personal website built using Nuxt.js
Language:Vue0 0 00
pranshugaba/partial-exploration
Language:Java0 0 00
pranshugaba/partial-exploration-old
Language:Java01
pranshugaba/pranshugaba
Config files for my GitHub profile.
00
pranshugaba/rock_paper_scissors
Language:JavaScript
pranshugaba/rock_paper_scissors_gui
Language:JavaScript
pranshugaba/showcase
Language:CSS