# JuliaSymbolics/Metatheory.jl

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

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

JuliaSymbolics/Metatheory.jl, dépôt open source à 404 étoiles sur GitHub. Carte Alpha de RepoMasters. Makes Julia reason with equations. General purpose…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [JuliaSymbolics](https://repo.masters-masters.com/owners/JuliaSymbolics) |
| Étoiles | 404 |
| Forks | 50 |
| Langage | [Julia](https://repo.masters-masters.com/languages/julia) |
| Licence | MIT |
| Création | 2021 |
| Sujets | julia, symbolic, symbolic-computation, programming-language, optimization, compiler-optimization, compiler-construction, term-rewriting, equality-saturation, egraphs |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [JuliaSymbolics/Metatheory.jl](https://github.com/JuliaSymbolics/Metatheory.jl) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de JuliaSymbolics

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

## D’autres dépôts Julia

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.