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
    • Fibonacci numbers example
    • BigNum/BigRat Example
    • Boolean data type example and test
    • Schedule demo
    • Basic equality saturation example.
    • Higher Order Functions
    • Multiset example based off of egglog version
    • Resolution theorem proving.
    • N-Dimensional Arrays
    • Matrix multiplication and Kronecker product.
    • Lambda Calculus
  • Getting Started - Matrix Multiplication
  • Optimizing Scikit-Learn with Array API and Numba

Recent Posts

  • 20 March - EGRAPHS Community Call Talk
  • 02 December - Original Congruence Closure Paper
  • 17 November - PyTensor Chat
  • 12 November - Indexing pushdown
  • 09 November - egglog
  • 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

previous

egglog Python

next

Examples Gallery

Edit on GitHub
Show Source

Created using Sphinx 8.1.3.

Built with the PyData Sphinx Theme 0.16.0.