Python Cellular Sheaf Library
☆151Sep 5, 2025Updated 6 months ago
Alternatives and similar repositories for pysheaf
Users that are interested in pysheaf are comparing it to the libraries listed below
Sorting:
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- Differentiable Euler Characteristic Transform☆17Jun 18, 2024Updated last year
- Sheaves library for graph abstractions based on NetworkX☆14May 5, 2019Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- Building dynamical systems compositionally☆77Feb 11, 2026Updated 3 weeks ago
- A simple Python 2.7 module for computing local and relative simplicial homology☆14Nov 21, 2023Updated 2 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- Ripser: efficient computation of Vietoris–Rips persistence barcodes☆350Mar 5, 2024Updated 2 years ago
- ☆12May 31, 2021Updated 4 years ago
- Persistent Homology and Topological Data Analysis Library☆204Dec 22, 2019Updated 6 years ago
- Haskell implementation of open games☆183Jan 31, 2025Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Apr 21, 2021Updated 4 years ago
- Python code for the post "Computing Homology"☆29Oct 16, 2022Updated 3 years ago
- A set of tools to generate synthetic graphs embedded into a hyperbolic space and to test the greedy routing.☆28Jan 21, 2016Updated 10 years ago
- Representation and learning framework for dynamic graphs using Graph Neural Networks.☆12Feb 4, 2022Updated 4 years ago
- Categorical Query Language IDE☆327Jan 7, 2026Updated last month
- Implementation of Mapper algorithm for Topological Data Analysis☆46Jun 6, 2020Updated 5 years ago
- The Python toolkit for computing with string diagrams.☆405Feb 26, 2026Updated last week
- Simplicial neural network benchmarking software☆17Jun 9, 2022Updated 3 years ago
- A framework for applied category theory in the Julia language☆694Feb 10, 2026Updated 3 weeks ago
- Message Passing Neural Networks for Simplicial and Cell Complexes☆165Jun 13, 2023Updated 2 years ago
- Topological Data Analysis in Python☆172Feb 20, 2019Updated 7 years ago
- A fast generic C++ library for applied and computational topology☆61May 18, 2016Updated 9 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- A framework for composing and simulating multiphysics systems☆78Feb 5, 2026Updated last month
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆46Jul 16, 2014Updated 11 years ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 8 years ago
- Fisher-Bures Adversary Graph Convolutional Networks☆12Aug 20, 2019Updated 6 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Clojure / OSGi integration☆32Jul 29, 2012Updated 13 years ago
- Implementation of Mapper Algorithm☆14Dec 19, 2016Updated 9 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- FFT Explorations (basic implementation)☆10Aug 8, 2014Updated 11 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago