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
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 6 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 7 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆52Updated 3 months ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆95Updated this week
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated 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
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated 2 months ago
• geometryzen / davinci-eight
  WebGL library for mathematical physics using Geometric Algebra
  ☆23Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆36Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated last month
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• lf94 / summonscript
  Manifest manifold models with magical machinations.
  ☆38Updated 4 months ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆160Updated last year
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆39Updated 3 weeks ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago