met4citizen / HypergraphLinks
Hypergraph Rewriting System
☆77Updated last year
Alternatives and similar repositories for Hypergraph
Users that are interested in Hypergraph are comparing it to the libraries listed below
Sorting:
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated last year
- The rule-based graph programming language GP 2☆68Updated last year
- Catalog of visual lambda calculi☆143Updated 3 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆88Updated this week
- A minimal proof checker.☆75Updated 10 months ago
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Manifest manifold models with magical machinations.☆38Updated 7 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated 3 weeks ago
- Diagramming Prototype☆23Updated 2 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆27Updated 2 years ago
- Use MiniZinc in the browser or with NodeJS☆41Updated last month
- Books that makes heavy use of visuals for scientific communication☆162Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 8 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.☆26Updated last month
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- WebGL library for mathematical physics using Geometric Algebra☆22Updated 9 months ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆25Updated last year
- Domain Specific Languages for Computational Law☆76Updated 2 weeks ago
- Movable Feast Machine C++ reference implementation and simulator☆91Updated 2 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆73Updated 8 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- ☆44Updated 8 months ago
- An archive of material related to the Cyc project.☆25Updated 2 weeks ago