https://github.com/algebraicjulia/algebraicrewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Science Score: 46.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
✓Academic publication links
Links to: arxiv.org -
✓Committers with academic emails
3 of 10 committers (30.0%) from academic institutions -
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (8.4%) to scientific vocabulary
Keywords
Keywords from Contributors
Repository
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Basic Info
- Host: GitHub
- Owner: AlgebraicJulia
- License: mit
- Language: Julia
- Default Branch: main
- Homepage: https://algebraicjulia.github.io/AlgebraicRewriting.jl/
- Size: 8.84 MB
Statistics
- Stars: 31
- Watchers: 10
- Forks: 5
- Open Issues: 20
- Releases: 13
Topics
Metadata Files
README.md
AlgebraicRewriting.jl
AlgebraicRewriting.jl is a Julia library for performing category-theoretic rewrites over a broad class of data structures, defined in Catlab.jl. This package defines DPO, SPO, and SqPO for C-Sets, as described in [Brown 2022]. See the documentation for more details.
To locally build the documentation 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!
Owner
- Name: AlgebraicJulia
- Login: AlgebraicJulia
- Kind: organization
- Website: https://www.algebraicjulia.org
- Repositories: 26
- Profile: https://github.com/AlgebraicJulia
GitHub Events
Total
- Create event: 7
- Release event: 1
- Issues event: 1
- Watch event: 7
- Delete event: 1
- Issue comment event: 1
- Push event: 16
- Pull request review event: 1
- Pull request event: 8
Last Year
- Create event: 7
- Release event: 1
- Issues event: 1
- Watch event: 7
- Delete event: 1
- Issue comment event: 1
- Push event: 16
- Pull request review event: 1
- Pull request event: 8
Committers
Last synced: 7 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| Kris Brown | k****s@t****e | 130 |
| Kris | k****b@s****u | 42 |
| Angeline Aguinaldo | a****o@j****u | 9 |
| Owen Lynch | r****t@o****g | 4 |
| Evan Patterson | e****n@e****g | 3 |
| Micah Halter | m****h@m****m | 2 |
| Luke Morris | l****s@g****m | 1 |
| Jeff Bezanson | j****n@g****m | 1 |
| AlgebraicJulia Bot | m****8@g****m | 1 |
| Kevin Arlin | a****d@g****m | 1 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 56
- Total pull requests: 96
- Average time to close issues: 3 months
- Average time to close pull requests: 28 days
- Total issue authors: 9
- Total pull request authors: 10
- Average comments per issue: 1.43
- Average comments per pull request: 0.53
- Merged pull requests: 70
- Bot issues: 0
- Bot pull requests: 4
Past Year
- Issues: 21
- Pull requests: 27
- Average time to close issues: 1 day
- Average time to close pull requests: 3 days
- Issue authors: 3
- Pull request authors: 4
- Average comments per issue: 1.14
- Average comments per pull request: 0.0
- Merged pull requests: 17
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- kris-brown (17)
- slwu89 (3)
- aaguinal (2)
- ndo885 (1)
- GeorgeR227 (1)
- ohaaga (1)
- jpfairbanks (1)
- epatters (1)
- JuliaTagBot (1)
Pull Request Authors
- kris-brown (51)
- aaguinal (8)
- algebraicjuliabot (8)
- epatters (3)
- quffaro (2)
- github-actions[bot] (2)
- mehalter (2)
- KevinDCarlson (2)
- olynch (2)
- lukem12345 (1)
- JeffBezanson (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- JuliaRegistries/TagBot v1 composite