Alternatives and similar repositories for Hypergraph:

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

• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆73Updated 5 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last week
• engraftdev / engraft
  ☆36Updated this week
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆30Updated 10 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆47Updated last month
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆16Updated 2 weeks ago
• frostburn / ts-geometric-algebra
  TypeScript Geometric Algebra Generator
  ☆14Updated last year
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• geometryzen / davinci-eight
  WebGL library for mathematical physics using Geometric Algebra
  ☆23Updated 4 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆18Updated last year
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated last year
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆21Updated 6 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆21Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 3 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• drever / ct-consciousness
  ☆15Updated 7 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 3 weeks ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆51Updated 3 years 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 10 months ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆16Updated 2 weeks ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago