#E-Graphs

Explore Metatheory.jl for algebraic metaprogramming in Julia, covering e-graphs, equality saturation, and applications in symbolic computing, category theory, and compiler optimizations.

Discover SpEQ, a strategy for detecting semantics in sparse codes and translating to high-performance libraries. Learn about its implementation, evaluation, and performance gains across various backends.

Explore MegaLibm, a domain-specific language for implementing, testing, and tuning math library functions. Learn how it enhances safety, modularity, and tunability in mathematical software development.

Explore e-graph application in software testing, focusing on test suite reduction and abstraction for program analysis tools. Learn about JSON-based implementation and preliminary research findings.

Explore GATlab, combining computer algebra with Standard ML modules. Learn to create and manipulate algebraic theories, interpret syntax trees, and work with generalized algebraic theories for advanced mathematical structures.