met4citizen / HypergraphLinks
Hypergraph Rewriting System
☆81Updated last year
Alternatives and similar repositories for Hypergraph
Users that are interested in Hypergraph are comparing it to the libraries listed below
Sorting:
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- Catalog of visual lambda calculi☆149Updated last month
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- A minimal proof checker.☆75Updated 11 months ago
- a datastructure for scalable combinatorial syntax☆19Updated 5 months ago
- The rule-based graph programming language GP 2☆68Updated last year
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆104Updated this week
- C++/Wolfram Language package for exploring set and graph rewriting systems☆231Updated last month
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- A probabilistic programming language based on pattern-rewriting