| CARVIEW |
Select Language
HTTP/2 200
date: Tue, 30 Dec 2025 17:45:27 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/"885276cd7adfe1140e1dca78de83cf8e"
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=Qr05Et6RmTkpSFxHozQIVjw9pPfoErOU2GYH5gsXdxtx%2FOljD9U2JM1AL3EhVFaqtFs45ncHXwpkFy%2BQG9H7NmdXor1kzIT5nficeBdEL2bnuB%2BcjwgraMVJc092eSpLCW8tON4vUB%2FGgfsHHbAR9j7EMQNSrtomaop3iRL1bLgOzQLUOh%2FMp913Mx0G%2FdSdXMVv1KFuXzy4FTqo2N0t%2FrCf09yX0bkYAhzglgE1kkHMWblcOzjtS0q%2F4cSuT6ah9Ul72D4g7harn%2BRaTLbOow%3D%3D--XhUoNgLuLS0GR2%2Bq--J1NT05H%2F3n8LYrddgvHdEQ%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1131005779.1767116724; Path=/; Domain=github.com; Expires=Wed, 30 Dec 2026 17:45:24 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Wed, 30 Dec 2026 17:45:24 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: 80AC:12322B:EA816A:1021EE0:69540FB4
chandrakananandi (Chandrakana Nandi) · GitHub
Skip to content
Navigation Menu
{{ message }}
Chandrakana Nandi chandrakananandi
-
UW Seattle
- Seattle, Washington, USA
- https://cnandi.com
Highlights
- Pro
Organizations
Pinned Loading
-
-
-
tamago
tamago PublicForked from uwplse/tensat
Re-implementation of the TASO compiler using equality saturation
Rust
-
egraphs-good/egg
egraphs-good/egg Publicegg is a flexible, high-performance e-graph library
-
uwplse/szalinski
uwplse/szalinski PublicSzalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
-
uwplse/reincarnate-aec
uwplse/reincarnate-aec PublicReincarnate Artifact for ICFP 2018
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.