kb1dds / simplicialHomologyLinks
A simple Python 2.7 module for computing local and relative simplicial homology
☆14Updated last year
Alternatives and similar repositories for simplicialHomology
Users that are interested in simplicialHomology are comparing it to the libraries listed below
Sorting:
- ☆27Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Python Cellular Sheaf Library☆145Updated 9 months ago
- RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.☆77Updated last year
- A system for computational category theory and applications☆39Updated 9 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 4 months ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- package for ATOL: Automatic Topologically-Oriented Learning☆24Updated 5 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated last week
- ☆44Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆69Updated 3 months ago
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 4 years ago
- Building dynamical systems compositionally☆71Updated 9 months ago
- Tools for generating and comparing Decorated Merge Trees, enriched persistence-based topological data descriptors.☆17Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated this week
- pandoc-like tool for symbolic regression expressions☆14Updated last year
- ☆27Updated last year
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Bonn Lean course for winter 24/25☆33Updated this week
- ☆23Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- A DSL for the internal language of a topos☆65Updated 3 weeks ago
- A framework for applied category theory in the Julia language☆18Updated 9 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- An interactive theorem prover for string diagrams☆119Updated 9 months ago