AlgebraicJulia / AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

https://algebraicjulia.github.io/AlgebraicRewriting.jl/

AlgebraicJulia/AlgebraicRewriting.jl Issues

TagBot trigger issue
Closed 2 years ago21
Remove support for 'changing attribute values' via a DPO rewrite
Closed 2 months ago
Patch graph rewriting
Updated 2 months ago2
serializing rules
Updated 4 months ago
Codom error when using rule with attribute variables
Closed 4 months ago5
Parallel independence
Updated 4 months ago1
C-Par rewriting
Updated 4 months ago2
Extend incremental hom search to include monic constraints, application conditions, gluing conditions
Closed 4 months ago
Comptime + Incremental hom search
Updated 4 months ago
yoneda_cache file naming robustness to changing data structures
Closed 4 months ago
Lotka volterra docs: don't conflate countdown and energies
Closed 5 months ago
Pushout complement treatment of attrvars
Closed 5 months ago
Problem finding mk_sched in notebook code for "Agent-based modeling via graph rewriting" blog
Closed 7 months ago3
Inplace DPO rewrite method that returns maps
Updated 7 months ago1
benchmark with Agents.jl
Updated 7 months ago1
show images in literate doc examples for ABMs
Closed 7 months ago2
add compatibility with DataMigrations v0.0.3
Closed 7 months ago
Rules to ODEs
Updated 7 months ago5
Integrate incremental hom search with rewriting programs
Updated 7 months ago
Rewriting every matching pattern in a graph
Closed 7 months ago2
Refactor documentation
Closed 8 months ago
Conegation rewriting
Closed a year ago
Replace `var_pullback` with `CSetTransformation` limit
Updated a year ago
fix yoneda_cache support for DynamicACSets
Updated a year ago
Principled way of scheduling rewrites
Closed a year ago1
Rewriting with "universal quantification" in patterns
Closed a year ago1
Dynamically creating a schema from Presentation
Closed 2 years ago1
Manifest files in repo
Closed 2 years ago1