-
UW Seattle
- Seattle, Washington, USA
- https://cnandi.com
Highlights
- Pro
Block or Report
Block or report chandrakananandi
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
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.