met4citizen / HypergraphLinks
Hypergraph Rewriting System
☆82Updated last year
Alternatives and similar repositories for Hypergraph
Users that are interested in Hypergraph are comparing it to the libraries listed below
Sorting:
- A collaborative environment for formal, interoperable, conceptual modeling☆116Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- Catalog of visual lambda calculi☆155Updated 2 months ago
- The rule-based graph programming language GP 2☆68Updated last year
- A minimal proof checker.☆76Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 7 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated this week
- ☆119Updated last year
- Metamath verifier in Python☆40Updated 4 months ago
- An implementation of interaction nets in JS.☆132Updated 2 months ago
- An interactive theorem prover for string diagrams☆121Updated 11 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Library for writing interactive and visual Futhark programs☆22Updated 2 months ago
- A probabilistic programming language based on pattern-rewriting☆85Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- Support repository for the T2-12 tile☆44Updated last year
- A Rust/WASM implementation of homotopy.io☆106Updated last week
- ☆38Updated 2 years ago
- SWI-Prolog WebAssembly build as a NPM package☆53Updated this week
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated this week
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated 2 months ago
- An interaction combinator runtime☆17Updated last year
- A new kind of visual programming☆139Updated 7 months ago