egraph

There are 0 repository under egraph topic.

• philzook58 / duckegg

  An experiment in using DuckDB for a datalog / egg

  datalogeggsqlegraph
  Language:Python 23

• RobinKa / egga

  Symbolic Geometric Algebra with E-Graphs

  clifford-algebraegraphequationgeometric-algebrapythonsimplifysolvesymbolicbivectormathematicsmultivectorphysicsvectormathsymbolic-mathsymbolic-geometric-agebra
  Language:Python 17