met4citizen / Hypergraph
Hypergraph Rewriting System
☆70Updated 11 months ago
Alternatives and similar repositories for Hypergraph:
Users that are interested in Hypergraph are comparing it to the libraries listed below
- Polynomial-time Meta-Interpretive Learning☆119Updated last month
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- TypeScript Geometric Algebra Generator☆14Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated 11 months ago
- WebGL library for mathematical physics using Geometric Algebra☆23Updated 5 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆46Updated 2 months ago
- A minimal proof checker.☆74Updated 6 months ago
- The rule-based graph programming language GP 2☆66Updated 8 months ago
- Support repository for the T2-12 tile☆44Updated 10 months ago
- a datastructure for scalable combinatorial syntax☆18Updated last week
- ☆16Updated 8 months ago
- ☆38Updated 3 weeks ago
- Thoughts on adjoint, norm and such.☆167Updated 2 years ago
- An interactive theorem prover for string diagrams☆112Updated 4 months ago
- A probabilistic programming language based on pattern-rewriting☆80Updated last year
- Books that makes heavy use of visuals for scientific communication☆160Updated last year
- Diagramming Prototype☆23Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆22Updated last year
- Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.☆25Updated last month
- ☆52Updated 4 years ago
- Domain Specific Languages for Computational Law☆71Updated last month
- Simple reverse mode automatic differentiation of scalar values in javascript☆17Updated 7 months ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Build and explore multimodal web interactives with pieces of paper!☆24Updated 2 months ago
- ☆118Updated last year
- Use MiniZinc in the browser or with NodeJS☆37Updated this week
- Neat 3D math and graphics library☆32Updated last year
- MeTTa Optimal Reduction Kernel☆16Updated this week
- Repo to track the evolution of notation in arts and sciences☆138Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago