| CARVIEW |
Select Language
HTTP/2 301
content-length: 0
location: https://github.com/EkanshdeepGupta
strict-transport-security: max-age=31536000; includeSubDomains; preload
HTTP/2 200
date: Fri, 16 Jan 2026 00:45:57 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"60c02128d3025391b7d6efd7481e97c9"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=Bx6dvC9oJ%2FQLTdPXgmMhnpm%2BLzCHmcCdWzlaopD32HWAHOXRAiqGfUXXVnO%2FigWq%2FFMfIt%2FSI8xhEAK6yTepsEwonaMBWBezZHc69AHcob4S9bPQvZs5SJh1T135%2Feco82dqkCziuB1IOWQVXyI5xEPvu2oikkCumfOE8L6Wqyg1f%2BqPaywzMbNgELww2n4hRRvgTcggCp7kka7sWi%2B8YxHIUwYd9uiKgXxUmW%2Bahc2maPbz5%2F1XObKIpz2kupsoE1aXunnzP%2Bpkx0MMRmdYGA%3D%3D--N%2BRa%2FvLKhmrVdPLi--A0UmdWY6Ppu3TF1hOkZw%2FQ%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.300878576.1768524357; Path=/; Domain=github.com; Expires=Sat, 16 Jan 2027 00:45:57 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Sat, 16 Jan 2027 00:45:57 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: DF50:F2D80:F374A:1533A5:69698A45
EkanshdeepGupta (Ekanshdeep Gupta) · GitHub
Skip to content
Navigation Menu
{{ message }}
Ekanshdeep Gupta EkanshdeepGupta
Pinned Loading
-
nyu-acsys/raven
nyu-acsys/raven PublicAn automated deductive program verifier based on concurrent separation logic
-
dafny-lang/dafny
dafny-lang/dafny PublicDafny is a verification-aware programming language
-
mini-ool-interpreter
mini-ool-interpreter PublicCompiler for a toy language in my Programming Languages course - MiniOO
OCaml
-
infinite-recursive-image
infinite-recursive-image PublicA script to create the Droste effect with any image.
-
eMatrix
eMatrix PublicMy attempt at making a lite version of cMatrix (github.com/abishekvashok/cmatrix).
C++
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.
You can’t perform that action at this time.