term-rewriting

Here are 2 public repositories matching this topic...

Python bindings for the egglog rust library

python rust dsl term-rewriting equality-saturation e-graph

A public flat live persistent globally distributed functional symbolic artifact computation engine based on term rewriting

public live flat persistent global term-rewriting

Add a description, image, and links to the term-rewriting topic page so that developers can more easily learn about it.

To associate your repository with the term-rewriting topic, visit your repo's landing page and select "manage topics."