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
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆53Updated 4 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• loda-lang / loda-rust
  Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
  ☆25Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated 2 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆123Updated 3 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆113Updated 6 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆23Updated last year
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆96Updated this week
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆25Updated last week
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆74Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• geometryzen / davinci-eight
  WebGL library for mathematical physics using Geometric Algebra
  ☆23Updated 7 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆81Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 3 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• lf94 / summonscript
  Manifest manifold models with magical machinations.
  ☆38Updated 5 months ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆47Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 11 months ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago