Alternatives and similar repositories for Hypergraph

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

• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 5 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆143Updated 3 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆88Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 10 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• lf94 / summonscript
  Manifest manifold models with magical machinations.
  ☆38Updated 7 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated 3 weeks ago
• billbudge / Diagrammar
  Diagramming Prototype
  ☆23Updated 2 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
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆27Updated 2 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆41Updated last month
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆162Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• loda-lang / loda-rust
  Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
  ☆26Updated last month
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• geometryzen / davinci-eight
  WebGL library for mathematical physics using Geometric Algebra
  ☆22Updated 9 months ago
• benrayfield / wikibinator203
  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
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated 2 weeks ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 2 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆73Updated 8 years 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
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• metacrank / cognition-archive
  ☆44Updated 8 months ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆25Updated 2 weeks ago