Alternatives and similar repositories for simplicialHomology

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

• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆147Updated last month
• rivetTDA / rivet
  RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.
  ☆76Updated last year
• martinroyer / atol
  package for ATOL: Automatic Topologically-Oriented Learning
  ☆24Updated 8 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• scikit-tda / tadasets
  Synthetic data sets apt for Topological Data Analysis
  ☆36Updated this week
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• ciemss / pyciemss
  Causal and probabilistic reasoning with continuous time dynamical systems
  ☆19Updated 2 months ago
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 7 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆40Updated last week
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆43Updated 2 years ago
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆18Updated 2 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 6 months ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• lizliz / teaspoon
  ☆45Updated 2 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 10 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆34Updated 2 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated this week
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• n-otter / PH-roadmap
  ☆46Updated 7 years ago