arquicanedo / graph2sheaves

Related projects ⓘ

Alternatives and complementary repositories for graph2sheaves

• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆24Updated 2 weeks ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 10 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆52Updated 2 years ago
• kb1dds / simplicialHomology
  A simple Python 2.7 module for computing local and relative simplicial homology
  ☆12Updated 11 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆29Updated this week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated last month
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆12Updated last month
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 3 weeks ago
• LuisScoccola / approximate-vector-bundles-examples
  Implementation and computational examples of [Approximate and discrete Euclidean vector bundles. Scoccola, Perea].
  ☆9Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆24Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated 10 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 3 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 5 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• ToposInstitute / poly
  ☆109Updated 3 months ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 2 weeks ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 3 years ago
• davidar / stochaskell
  ☆11Updated last year