pranshugaba

PhD research scholar in Theoretical Computer Science at Tata Institute of Fundamental Research, Mumbai

Mumbai, India

Pinned Repositories

hugo-website
My personal site built using Hugo
Language:HTML20
maths-wiki
Source for the maths.wiki website
10
decimal-website
Source for Ten Hour Studios website
Language:Astro00
lecture5
E0 235 Lecture 5
Language:TeX00
LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
Language:JavaScript00
MDP-Simulation-Complexity
Simulation complexity for MDP Reachability
Language:Java00
nuxt-website
Source for my personal website built using Nuxt.js
Language:Vue00
partial-exploration
Language:Java00
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
pranshugaba/partial-exploration
Language:Java
pranshugaba/partial-exploration-old
Language:Java1
pranshugaba/MDP-Simulation-Complexity
Simulation complexity for MDP Reachability
pranshugaba/nuxt-website
Source for my personal website built using Nuxt.js
Language:Vue
pranshugaba/showcase
Language:CSS
pranshugaba/decimal-website
Source for Ten Hour Studios website
Language:Astro
pranshugaba/maths-wiki
Source for the maths.wiki website
1
pranshugaba/pranshugaba
Config files for my GitHub profile.
pranshugaba/rock_paper_scissors
Language:JavaScript
pranshugaba/LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
Language:JavaScript
pranshugaba/rock_paper_scissors_gui
Language:JavaScript
pranshugaba/lecture5
E0 235 Lecture 5
Language:TeX