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
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆127Updated 3 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• 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
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆41Updated last week
• loda-lang / loda-rust
  Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
  ☆24Updated 2 months ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 7 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated 11 months ago
• frostburn / ts-geometric-algebra
  TypeScript Geometric Algebra Generator
  ☆17Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• paulmasson / mathcell
  Interactive mathematics in the browser
  ☆63Updated 4 months ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆44Updated last year
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆81Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆75Updated 3 months ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 3 weeks ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆53Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated last month
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago