# JuliaSymbolics/Metatheory.jl

<https://repo.masters-masters.com/en/repos/JuliaSymbolics/Metatheory.jl>

[Home](https://repo.masters-masters.com/en) › [JuliaSymbolics](https://repo.masters-masters.com/en/owners/JuliaSymbolics) › [Metatheory.jl](https://repo.masters-masters.com/en/repos/JuliaSymbolics/Metatheory.jl)

JuliaSymbolics/Metatheory.jl has 405 stars on GitHub. Its RepoMasters card: Alpha tier. Makes Julia reason with equations. General purpose metaprogramming…

| Field | Value |
| --- | --- |
| Owner | [JuliaSymbolics](https://repo.masters-masters.com/en/owners/JuliaSymbolics) |
| Stars | 405 |
| Forks | 50 |
| Language | [Julia](https://repo.masters-masters.com/en/languages/julia) |
| License | MIT |
| Created | 2021 |
| Topics | julia, symbolic, symbolic-computation, programming-language, optimization, compiler-optimization, compiler-construction, term-rewriting, equality-saturation, egraphs |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [JuliaSymbolics/Metatheory.jl](https://github.com/JuliaSymbolics/Metatheory.jl) |

## Repository

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.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by JuliaSymbolics

- [JuliaSymbolics/Symbolics.jl · ★ 1,542 · Julia · Beta](https://repo.masters-masters.com/en/repos/JuliaSymbolics/Symbolics.jl)
- [JuliaSymbolics/SymbolicUtils.jl · ★ 562 · Julia · Alpha](https://repo.masters-masters.com/en/repos/JuliaSymbolics/SymbolicUtils.jl)

## Nearby in Julia

- [omlins/ParallelStencil.jl · ★ 406 · Julia · Alpha](https://repo.masters-masters.com/en/repos/omlins/ParallelStencil.jl)
- [queryverse/Query.jl · ★ 405 · Julia · Alpha](https://repo.masters-masters.com/en/repos/queryverse/Query.jl)
- [memoiry/LightML.jl · ★ 405 · Julia · Alpha](https://repo.masters-masters.com/en/repos/memoiry/LightML.jl)
- [jheinen/GR.jl · ★ 403 · Julia · Alpha](https://repo.masters-masters.com/en/repos/jheinen/GR.jl)
- [JuliaMath/MeasureTheory.jl · ★ 402 · Julia · Alpha](https://repo.masters-masters.com/en/repos/JuliaMath/MeasureTheory.jl)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.