Skip to main content
Ctrl+K

egglog Python documentation

  • Tutorials
  • How-to guides
  • Blog
  • Reference
  • GitHub
  • Tutorials
  • How-to guides
  • Blog
  • Reference
  • GitHub

Section Navigation

  • Examples Gallery
  • Getting Started - Matrix Multiplication
  • Optimizing Scikit-Learn with Array API and Numba
  • 01 - Basics of Equality Saturation
  • 02 - Datalog
  • 03 - E-class Analysis
  • 04 - Scheduling
  • 05 - Extraction and Cost
  • Tutorials

Tutorials#

  • Examples Gallery
  • Getting Started - Matrix Multiplication
    • Install egglog Python
    • Creating an E-Graph
    • Defining Dimensions
      • Testing in a notebook
    • Dimension Replacements
      • Testing
    • Matrix Expressions
      • Rows/cols Replacements
      • Operation replacements
  • Optimizing Scikit-Learn with Array API and Numba
    • Normal execution
    • Building our inputs
    • Getting a result
    • Optimizing our result
    • Translating for Numba
    • Compiling back to Python source
    • Compiling to Numba
    • Evaluating performance
    • Conclusion
  • 01 - Basics of Equality Saturation
  • 02 - Datalog
  • 03 - E-class Analysis
    • Debugging tips!
  • 04 - Scheduling
    • Rulesets
    • Schedules
    • Using custom schedulers
  • 05 - Extraction and Cost
    • Setting custom cost for e-nodes

previous

egglog Python

next

Examples Gallery

Edit on GitHub

This Page

  • Show Source

Created using Sphinx 8.2.3.

Built with the PyData Sphinx Theme 0.16.1.