Alternatives and similar repositories for graph2sheaves:

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

• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated 3 weeks ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• mhajij / Algebraically_Informed_Deep_Nets
  AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.
  ☆8Updated 4 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 6 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 4 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 5 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 3 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated 10 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 8 months ago
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆41Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• kb1dds / simplicialHomology
  A simple Python 2.7 module for computing local and relative simplicial homology
  ☆14Updated last year
• mattecapu / categorical-systems-theory
  ☆40Updated 9 months ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 5 months ago
• samuelsonric / AlgebraicInference.jl
  Bayesian inference on wiring diagrams.
  ☆18Updated last year
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 4 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial sets and other combinatorial models of geometric spaces
  ☆35Updated 3 weeks ago
• KaroliShp / CatGNN
  Prototype for a Category Theory-based GNN Library
  ☆14Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago