Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

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.

Owner: JuliaSymbolics (organization)
Stars: Stars: 404
Forks: Forks: 50
Language: Julia
License: MIT
Created: 2021
Topics: juliasymbolicsymbolic-computationprogramming-languageoptimizationcompiler-optimizationcompiler-constructionterm-rewritingequality-saturationegraphs
Tier: Alpha (250 to 699 ★) What this tier means

View on GitHub

More repos by JuliaSymbolics

All 3 repos by JuliaSymbolics

JuliaSymbolics/Symbolics.jlStars: 1,542JuliaBeta
JuliaSymbolics/SymbolicUtils.jlStars: 562JuliaAlpha

Nearby in Julia

All Julia repos

omlins/ParallelStencil.jlStars: 406JuliaAlpha
queryverse/Query.jlStars: 405JuliaAlpha
memoiry/LightML.jlStars: 405JuliaAlpha
jheinen/GR.jlStars: 403JuliaAlpha
JuliaMath/MeasureTheory.jlStars: 402JuliaAlpha
RoboticExplorationLab/TrajectoryOptimization.jlStars: 401JuliaAlpha