full-stack software developer |
MSc. student @ EPFL
- Lausanne, Switzerland
- dxts.dev
- in/dixit-s
Highlights
- Pro
Popular repositories Loading
-
agda2hs-map
agda2hs-map PublicForked from flupe/verification-template
TUD - Bachelors of CSE Research Project
Agda 3
-
chsh-bell-inequality
chsh-bell-inequality PublicInfluence of noise on correlation between Entangled particles (QuTiP Jupyter Notebook)
Jupyter Notebook 2
-
-
reee-bot-discord
reee-bot-discord PublicDiscord bot that replies with REEE when triggered.
JavaScript
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.