Topic Hub
#equality-saturation (2 Repositories)
Ranked open-source repositories tagged with #equality-saturation, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
25.0%
Avg Review Latency
32.5h
Filter by language
2 repositories tagged #equality-saturation
B TierJUJulia 402
JuliaSymbolics/Metatheory.jl
Makes 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.
50.0%
Merge Rate
3d
First Review
100%
1st-Timers
1
Maintainers
D TierPython 126
sdiehl/mlir-egglog
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers