https://github.com/AlgebraicJulia/AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
https://github.com/AlgebraicJulia/AlgebraicRewriting.jl

category-theory declarative-programming rewrite-systems

Last synced: 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/AlgebraicJulia/AlgebraicRewriting.jl
• Owner: AlgebraicJulia
• License: mit
• Created: 2022-06-24T17:11:07.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2025-07-10T19:52:26.000Z (3 months ago)
• Last Synced: 2025-07-17T20:53:43.157Z (3 months ago)
• Topics: category-theory, declarative-programming, rewrite-systems
• Language: Julia
• Homepage: https://algebraicjulia.github.io/AlgebraicRewriting.jl/
• Size: 8.67 MB
• Stars: 31
• Watchers: 10
• Forks: 5
• Open Issues: 20
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# ![Logo](docs/src/assets/logo.png)  AlgebraicRewriting.jl

[![Documentation](https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/workflows/Documentation/badge.svg)](https://algebraicjulia.github.io/AlgebraicRewriting.jl/dev/)

![Tests](https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/workflows/Tests/badge.svg)

AlgebraicRewriting.jl is a Julia library for performing category-theoretic

rewrites over a broad class of data structures, defined in

[Catlab.jl](https://github.com/AlgebraicJulia/Catlab.jl).

This package defines DPO, SPO, and SqPO for C-Sets, as described in

[[Brown 2022](https://arxiv.org/abs/2111.03784)]. See the [documentation](https://algebraicjulia.github.io/AlgebraicRewriting.jl/dev/) for more details.

To locally build the [documentation](https://algebraicjulia.github.io/AlgebraicRewriting.jl/dev) and the literate code examples, run the following in the command line:

```

julia --project=docs -e "using AlgebraicRewriting, LiveServer; servedocs(literate_dir=\"docs/literate\",skip_dir=\"docs/src/generated\")"

```

## NOTE

This library is currently under active development, and so is not yet at a

point where a constant API/behavior can be assumed. That being said, if this

project looks interesting/relevant please contact us and

[let us know](https://www.algebraicjulia.org/#contributing)!