Alternatives and similar repositories for category-theory-python

Users that are interested in category-theory-python are comparing it to the libraries listed below

• MuonRay / QuantumNetworkSimulations
  A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…
  ☆14Updated last week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• vitalab / neuralteleportation
  Isomorphisms of quiver representations applied to neural networks.
  ☆16Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 2 months ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated 2 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• kris-brown / cql_data_integration
  Interface for generating Categorical Query Language files to merge/migrate data between databases
  ☆13Updated 4 years ago
• wesselb / fdm
  Estimate derivatives with finite differences
  ☆17Updated 11 months ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated 2 years ago
• executablebooks / sphinx-proof
  A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
  ☆35Updated 2 weeks ago
• daskol / nls
  Non-linear Schrodinger Equation Solver
  ☆13Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆40Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆21Updated last year
• coot / sphinx_latex
  LaTeX and HTML builders for Sphinx - Python documentation project
  ☆15Updated 10 years ago
• nickk124 / differentialgeometry-cheatsheet
  An easy-to-use, quick and "to the point" cheat sheet of the important definitions and theorems found within differential geometry, for us…
  ☆11Updated 4 months ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆33Updated last week
• darrenjw / logreg
  Bayesian inference for a logistic regression model in various languages
  ☆43Updated 2 years ago
• emptymalei / statisticalphysics
  open source E-book on statistical physics
  ☆48Updated last week
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated this week
• dask / dask-benchmarks
  asv benchmarks for dask projects
  ☆18Updated 3 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• kachayev / dataclasses-tensor
  Easily serialize dataclasses to and from tensors (PyTorch, NumPy)
  ☆18Updated 4 years ago
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Updated 6 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated last month
• mcmtroffaes / latexcodec
  Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …
  ☆29Updated 4 months ago