Alternatives and similar repositories for Hypergraph

Users that are interested in Hypergraph are comparing it to the libraries listed below

• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆169Updated 6 months ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆34Updated last year
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆45Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆144Updated last week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆43Updated last week
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆77Updated 2 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated 2 weeks ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 6 months ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆168Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 11 months ago
• HigherOrderCO-archive / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• timhutton / livingphysics
  Artificial chemistry game
  ☆42Updated 5 months ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 6 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆239Updated 6 months ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆33Updated 2 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆34Updated 5 months ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆48Updated 11 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 3 years ago
• geometryzen / davinci-eight
  WebGL library for mathematical physics using Geometric Algebra
  ☆22Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆123Updated 2 weeks ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 9 months ago
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆37Updated last year