Alternatives and similar repositories for Hypergraph

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

• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 10 months ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆34Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆72Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆165Updated 6 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆143Updated this week
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆42Updated this week
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆168Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 6 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆78Updated 6 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 11 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 4 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 11 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆195Updated 3 weeks ago
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆86Updated 2 years ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆44Updated last year
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• timhutton / livingphysics
  Artificial chemistry game
  ☆42Updated 4 months ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 6 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• Gadersd / ic
  An interaction combinator runtime
  ☆18Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆187Updated this week