Owner

JuliaSymbolics

8 indexed repositories · View on GitHub

Symbolics.jl
Symbolic programming for the next generation of numerical software

Julia · 1530 stars
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification

Julia · 559 stars
Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t...

Julia · 403 stars
SymbolicIntegration.jl
Julia implementations of symbolic integration algorithms: Risch method, rule based method

Julia · 51 stars
TermInterface.jl
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert

Julia · 41 stars
SymbolicSMT.jl
Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions

Julia · 40 stars
Rewriters.jl
A library for composing together term rewriting combinators.

Julia · 6 stars
JuliaSymbolics.org
Website for the JuliaSymbolics organization.

CSS · 4 stars

Open All

front page seems outdated Open

JuliaSymbolics/JuliaSymbolics.org#8 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
request for new functions: `isvariable` and `variablename` Open

JuliaSymbolics/TermInterface.jl#38 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Cleaner exceptions that are better to handle and highlight which rule errored. Open

JuliaSymbolics/Metatheory.jl#39 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Better e-graphs pattern matching for blocks. Open

JuliaSymbolics/Metatheory.jl#43 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Goal-Informed Schedulers Open

JuliaSymbolics/Metatheory.jl#50 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Try Smaller Id Sizes Open

JuliaSymbolics/Metatheory.jl#51 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
`astsize_inv` cost function Open

JuliaSymbolics/Metatheory.jl#64 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
E-Graph intersection Open

JuliaSymbolics/Metatheory.jl#75 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Rule Macro Quotes Function Names Open

JuliaSymbolics/Metatheory.jl#87 · 23 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Syntax to match vectors Open

JuliaSymbolics/Metatheory.jl#89 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Related projects Open

JuliaSymbolics/Metatheory.jl#92 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Use Union{Some{T}, Nothing} Open

JuliaSymbolics/Metatheory.jl#93 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Update `eggify.jl` for 2.0 Open

JuliaSymbolics/Metatheory.jl#97 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Try to use Metatheory.jl in a Reasoning System. Open

JuliaSymbolics/Metatheory.jl#99 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Proof production algorithm Open

JuliaSymbolics/Metatheory.jl#111 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Rewriting broadcasted functions doesn't work Open

JuliaSymbolics/Metatheory.jl#113 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
why Fixpoint rewriter does not work as expected? Open

JuliaSymbolics/Metatheory.jl#119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Can not infer term type in egraph Open

JuliaSymbolics/Metatheory.jl#125 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
is this the best way to `reverse(r::Rule)`? Open

JuliaSymbolics/Metatheory.jl#126 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Issues in E-graph matching for parametrized types Open

JuliaSymbolics/Metatheory.jl#142 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Q: Metatheory.jl code optimization for multivariate polynomial expressions? Open

JuliaSymbolics/Metatheory.jl#145 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Move integration tests to narrative documentation. Open

JuliaSymbolics/Metatheory.jl#147 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
I want to rebase MethodOfLines.jl on to MetaTheory, can you help me? Open

JuliaSymbolics/Metatheory.jl#148 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Conditions involving more than one variable Open

JuliaSymbolics/Metatheory.jl#151 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Q: Metatheory.jl - algebraic simplification for JuMP nonlinear expression Open

JuliaSymbolics/Metatheory.jl#157 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Request for CSE extraction Documentation/Offer to expand CSE extraction Open

JuliaSymbolics/Metatheory.jl#158 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Q: Using TermInterface to set up Metatheory Open

JuliaSymbolics/Metatheory.jl#173 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Compare with twee Open

JuliaSymbolics/Metatheory.jl#200 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Matching on fully qualified function call in 3.0 Open

JuliaSymbolics/Metatheory.jl#209 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Metadata analysis in 3.0 Open

JuliaSymbolics/Metatheory.jl#210 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Race-condition when using Metatheory from multiple threads Open

JuliaSymbolics/Metatheory.jl#224 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Predicates for pattern variables are not checked consistently Open

JuliaSymbolics/Metatheory.jl#246 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Incorrect number of matches used to inform scheduler in eqsat_search!() Open

JuliaSymbolics/Metatheory.jl#248 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 18, 2026
Unable to reason over ADT Open

JuliaSymbolics/Metatheory.jl#257 · 13 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Document `areequal` and `@areequal` Open

JuliaSymbolics/Metatheory.jl#263 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Rewrite rules cannot introduce variables (I think) Open

JuliaSymbolics/Metatheory.jl#266 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Question regarding false and 0 in E-graphs Open

JuliaSymbolics/Metatheory.jl#271 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Rewriting with metadata Open

JuliaSymbolics/Metatheory.jl#272 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Standard way to construct `RewriteRule`s at run-time? Open

JuliaSymbolics/Metatheory.jl#273 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Obtaining a sub-E-Graph Open

JuliaSymbolics/Metatheory.jl#274 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Optimal E-Graph Extraction Open

JuliaSymbolics/Metatheory.jl#275 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Hash collision for constants Open

JuliaSymbolics/Metatheory.jl#287 · 8 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Core calculational-logic test returns missing on master Open

JuliaSymbolics/Metatheory.jl#291 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
TagBot: Manual intervention needed for releases Open

tagbot-manual

JuliaSymbolics/Metatheory.jl#293 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Conditionally skip a branch of an expression tree in walks Open

JuliaSymbolics/Rewriters.jl#2 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Don't error on missing Z3 methods Open

JuliaSymbolics/SymbolicSMT.jl#1 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
thread safety Open

JuliaSymbolics/SymbolicSMT.jl#11 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
TagBot: Manual intervention needed for releases Open

tagbot-manual

JuliaSymbolics/SymbolicSMT.jl#17 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Difference Operator Open

JuliaSymbolics/Symbolics.jl#32 · 4 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Names of array of variables Open

JuliaSymbolics/Symbolics.jl#37 · 5 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

JuliaSymbolics

Showing the newest 100

Get new issues in your inbox