{"id":18056974,"url":"https://github.com/smimram/hyper","last_synced_at":"2025-04-05T10:21:10.387Z","repository":{"id":149464322,"uuid":"126534536","full_name":"smimram/hyper","owner":"smimram","description":"Hypergraph rewriting for PROPs","archived":false,"fork":false,"pushed_at":"2019-07-10T21:59:12.000Z","size":138,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-02-17T21:01:55.165Z","etag":null,"topics":["hypergraph","ocaml","rewriting"],"latest_commit_sha":null,"homepage":"https://smimram.github.io/hyper/","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/smimram.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-03-23T20:14:31.000Z","updated_at":"2023-09-04T12:56:34.000Z","dependencies_parsed_at":"2023-06-15T09:45:49.424Z","dependency_job_id":null,"html_url":"https://github.com/smimram/hyper","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Fhyper","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Fhyper/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Fhyper/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Fhyper/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/smimram","download_url":"https://codeload.github.com/smimram/hyper/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247319830,"owners_count":20919659,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["hypergraph","ocaml","rewriting"],"created_at":"2024-10-31T02:05:37.348Z","updated_at":"2025-04-05T10:21:10.360Z","avatar_url":"https://github.com/smimram.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Hyper\n\n[Hypergraph](https://en.wikipedia.org/wiki/Hypergraph) [rewriting](https://en.wikipedia.org/wiki/Rewriting) in order to manipulate presentations of [PROPs](https://en.wikipedia.org/wiki/PRO_(category_theory)).\n\n## Demo\n\nYou can see it [running live here](https://smimram.github.io/hyper/).\n\n## Example session\n\nLet's define the theory for [monoids](https://en.wikipedia.org/wiki/Monoid). We first need to add in generators for multiplication and unit\n```\nop m : 2 -\u003e 1\nop u : 0 -\u003e 1\n```\nthen we throw in the rules for associativity and unitality on left and right\n```\nrule ass : (m*1);m =\u003e (1*m);m\nrule u-l : (u*1);m =\u003e 1\nrule u-r : (1*u);m =\u003e 1\n```\nNote that `;` is sequential composition and `*` is tensor product.\n\nWe can then display the graph corresponding to a morphism\n```\nshow (m*2);(m*1);m\n```\nor display it graphically\n```\nplot (m*2);(m*1);m\n```\nwe can normalize it\n```\nnormalize (m*2);(m*1);m\n```\nor even show the normalization\n```\nplotnormalize (m*2);(m*1);m\n```\n\n## Documentation\n\nThere is no proper documentation at the moment, the list of available commands can be found in [lang.ml](https://github.com/smimram/hyper/blob/master/src/lang.ml).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsmimram%2Fhyper","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsmimram%2Fhyper","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsmimram%2Fhyper/lists"}