Alternatives and similar repositories for category-theory-python

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

• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 3 years ago
• 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…
  ☆22Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 7 years ago
• darrenjw / logreg
  Bayesian inference for a logistic regression model in various languages
  ☆43Updated 2 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆75Updated this week
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated 2 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆14Updated 6 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• 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 month
• wesselb / fdm
  Estimate derivatives with finite differences
  ☆17Updated last year
• RobinKa / tfga
  Python package for Geometric / Clifford Algebra with TensorFlow
  ☆52Updated 2 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆46Updated 7 years ago
• NeuralEnsemble / lazyarray
  lazyarray is a Python package that provides a lazily-evaluated numerical array class, larray, based on and compatible with NumPy arrays.
  ☆20Updated last year
• vitalab / neuralteleportation
  Isomorphisms of quiver representations applied to neural networks.
  ☆16Updated last year
• sagemathinc / cocalc-examples
  collection of example documents for use within cocalc's library
  ☆16Updated 3 months ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆33Updated this week
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆21Updated last year
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated 2 years ago
• tobiasosborne / Tensor-networks-and-quantum-field-theory
  This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.
  ☆20Updated 11 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• executablebooks / sphinx-proof
  A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
  ☆35Updated last week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 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…
  ☆12Updated 5 months ago
• kris-brown / cql_data_integration
  Interface for generating Categorical Query Language files to merge/migrate data between databases
  ☆14Updated 4 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆54Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago