JuliaSymbolics/Metatheory.jl
View on GitHubMakes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
- Stars
- 403
- Forks
- 49
- Open beginner issues
- 0
- Indexed issues
- 42
- Avg merge
- 12h 30m
- Merged PRs (30d)
- 2
- Dominant language
- Julia
- License
- MIT
- Last GitHub push
- Aug 21, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
JuliaSymbolics/Metatheory.jl#39 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#43 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#50 · 0 comments · 0 reactions · 0 assignees ·
-
Try Smaller Id Sizes Open
JuliaSymbolics/Metatheory.jl#51 · 2 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#64 · 1 comment · 0 reactions · 0 assignees ·
-
E-Graph intersection Open
JuliaSymbolics/Metatheory.jl#75 · 4 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#87 · 23 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#89 · 1 comment · 0 reactions · 0 assignees ·
-
Related projects Open
JuliaSymbolics/Metatheory.jl#92 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#93 · 1 comment · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#97 · 4 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#99 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#111 · 3 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#113 · 1 comment · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#119 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#125 · 1 comment · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#126 · 1 comment · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#142 · 6 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#145 · 3 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#147 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#148 · 1 comment · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#151 · 2 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#157 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#158 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#173 · 4 comments · 0 reactions · 0 assignees ·
-
Compare with twee Open
JuliaSymbolics/Metatheory.jl#200 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#209 · 2 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#210 · 3 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#224 · 3 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#246 · 3 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#248 · 0 comments · 0 reactions · 1 assignee ·
-
JuliaSymbolics/Metatheory.jl#257 · 13 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#263 · 2 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#266 · 3 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#271 · 5 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#272 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#273 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#274 · 0 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#275 · 1 comment · 1 reaction · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#287 · 8 comments · 0 reactions · 0 assignees ·
-
JuliaSymbolics/Metatheory.jl#291 · 1 comment · 0 reactions · 0 assignees ·
-
tagbot-manual
JuliaSymbolics/Metatheory.jl#293 · 0 comments · 0 reactions · 0 assignees ·