https://github.com/statusfailed/hypergraph-rewriting

https://github.com/statusfailed/hypergraph-rewriting

Last synced: 12 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/statusfailed/hypergraph-rewriting
• Owner: statusfailed
• License: mit
• Created: 2018-04-04T19:37:35.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-05-01T22:23:55.000Z (almost 8 years ago)
• Last Synced: 2025-01-31T08:18:59.207Z (about 1 year ago)
• Language: Haskell
• Size: 64.5 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Hypergraph Rewriting

View a demo [here](https://statusfailed.github.io/miso-smc/).

An implementation of [Rewriting modulo symmetric monoidal structure](http://users.ecs.soton.ac.uk/ps/papers/rewriting.pdf)

TODO list:

- [x] Matching patterns in contexts

- [x] Rendering hypergraphs to SVG

- [x] Replacing patterns (actual rewriting)

- [ ] Parsing term expressions

Bugs

- [x] slice doesn't terminate in presence of cycles

- [x] rewrite doesn't either

Cleanup:

- [ ] remove `nub` call from taskBfs - figure out bug

- [ ] remove all "non-`VE`" variants of `neighbours`, `reachable`, and `convex`.