Alternatives and similar repositories for simplicialHomology

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

• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆146Updated last week
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 4 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 3 weeks ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 6 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• martinroyer / atol
  package for ATOL: Automatic Topologically-Oriented Learning
  ☆24Updated 6 months ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last week
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated this week
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 11 months ago
• gstew5 / games
  ☆10Updated 5 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last month
• lizliz / teaspoon
  ☆44Updated 2 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆36Updated 10 years ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• rivetTDA / rivet
  RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.
  ☆77Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• ndcroos / awesome-topological-data-analysis
  A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆19Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago