Alternatives and similar repositories for graph2sheaves:

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

• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated this week
• 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 3 years ago
• statusfailed / numeric-optics-python
  ☆24Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆43Updated this week
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• KaroliShp / CatGNN
  Prototype for a Category Theory-based GNN Library
  ☆14Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆40Updated last year
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 3 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 4 months ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 3 months ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆25Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• DavidJaz / DynamicalSystemsBook
  ☆43Updated 8 months ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• ciemss / pyciemss
  Causal and probabilistic reasoning with continuous time dynamical systems
  ☆17Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆68Updated 3 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆62Updated last year
• lizliz / teaspoon
  ☆44Updated last year
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆20Updated 3 weeks ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago