Topic Hub
#egraphs (1 Repositories)
Ranked open-source repositories tagged with #egraphs, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
50.0%
Avg Review Latency
65.1h
Filter by language
Rankings/rankings/julia
1 repositories tagged #egraphs
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