Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
Explore Metatheory.jl for algebraic metaprogramming in Julia, covering e-graphs, equality saturation, and applications in symbolic computing, category theory, and compiler optimizations.
SpEQ: Translation of Sparse Codes Using Equivalences
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.
Implementation and Synthesis of Math Library Functions
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.
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
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.
Gatlab - Combining Computer Algebra and Standard ML Modules
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.