AlphaPeu commune
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.
- Propriétaire
- JuliaSymbolics (organisation)
- Étoiles
- Étoiles : 404
- Forks
- Forks : 50
- Langage
- Julia
- Licence
- MIT
- Création
- 2021
- Sujets
- juliasymbolicsymbolic-computationprogramming-languageoptimizationcompiler-optimizationcompiler-constructionterm-rewritingequality-saturationegraphs
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de JuliaSymbolics
Les 3 dépôts de JuliaSymbolics- JuliaSymbolics/Symbolics.jlÉtoiles : 1 541JuliaBêta
- JuliaSymbolics/SymbolicUtils.jlÉtoiles : 562JuliaAlpha
D’autres dépôts Julia
Tous les dépôts Julia- omlins/ParallelStencil.jlÉtoiles : 406JuliaAlpha
- queryverse/Query.jlÉtoiles : 405JuliaAlpha
- memoiry/LightML.jlÉtoiles : 405JuliaAlpha
- jheinen/GR.jlÉtoiles : 403JuliaAlpha
- JuliaMath/MeasureTheory.jlÉtoiles : 402JuliaAlpha
- RoboticExplorationLab/TrajectoryOptimization.jlÉtoiles : 401JuliaAlpha