Pinned Repositories
babble
experimental library learning
certora-vyper
chandrakananandi.github.io
dotfiles
configurations
egg
egraphs in rust
home-automation-verification
tamago
Re-implementation of the TASO compiler using equality saturation
egg
egg is a flexible, high-performance e-graph library
reincarnate-aec
Reincarnate Artifact for ICFP 2018
szalinski
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
chandrakananandi's Repositories
chandrakananandi/egg
egraphs in rust
chandrakananandi/dotfiles
configurations
chandrakananandi/babble
experimental library learning
chandrakananandi/certora-vyper
chandrakananandi/chandrakananandi.github.io
chandrakananandi/CSE564Project
chandrakananandi/home-automation-verification
chandrakananandi/tamago
Re-implementation of the TASO compiler using equality saturation
chandrakananandi/egraphs-good.github.io
egraphs-good website
chandrakananandi/fix-to-elim
Fixpoint to eliminator translation in Coq
chandrakananandi/gayatri-marlin
Edits to Marlin to Allow Simultaneous Infill With Two Extruders
chandrakananandi/haploid
SMT Preprocessing via EqSat
chandrakananandi/herbie
Synthesis for floating-point expressions
chandrakananandi/herbie-stats
chandrakananandi/learning-submodules
chandrakananandi/ruler-cond
Rewrite Rule Inference Using Equality Saturation
chandrakananandi/Slic3r
Open Source toolpath generator for 3D printers
chandrakananandi/smarthome
Eclipse SmartHome project
chandrakananandi/snake-egg
Python bindings for egg
chandrakananandi/submodule
chandrakananandi/tricky-3d-models
A benchmark suite for 3D CAD models that are hard to print.
chandrakananandi/Uncertainty
Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations.