Alternatives and similar repositories for Hypergraph

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

• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆33Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 7 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆151Updated 2 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated last year
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 6 months ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 4 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆110Updated last week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆163Updated last year
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 months ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆44Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 10 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆169Updated last week
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 2 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆145Updated 2 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆23Updated 2 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated last month
• dennishansen / holograph
  A new kind of visual programming
  ☆140Updated 6 months ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 7 months ago