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
  ☆31Updated last year
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆230Updated 3 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 9 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆29Updated last month
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 7 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆82Updated last year
• frostburn / ts-geometric-algebra
  TypeScript Geometric Algebra Generator
  ☆17Updated last year
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• paulmasson / mathcell
  Interactive mathematics in the browser
  ☆63Updated 5 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆127Updated 4 months ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆49Updated 3 years ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last week
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆40Updated last month
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆24Updated last year
• loda-lang / loda-rust
  Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
  ☆25Updated 3 weeks ago
• CategoricalData / hydra
  Graph programming language
  ☆92Updated this week
• geometryzen / davinci-eight
  WebGL library for mathematical physics using Geometric Algebra
  ☆23Updated 8 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆79Updated this week
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆99Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• euschn / ingpu
  GPU-based interaction nets evaluator
  ☆16Updated 13 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