Alternatives and similar repositories for category-theory-python:

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

• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 4 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months 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…
  ☆19Updated last month
• ndcroos / awesome-topological-data-analysis
  A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆19Updated 7 months ago
• mhajij / Algebraically_Informed_Deep_Nets
  AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.
  ☆8Updated 4 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• Quansight-Labs / udiff
  Automatic differentiation with uarray/unumpy.
  ☆16Updated 4 years ago
• rizalzaf / AdversarialPrediction.jl
  Easily optimize generic performance metrics in differentiable learning.
  ☆18Updated 4 years ago
• rwightman / py-lmdb
  Universal Python binding for the LMDB 'Lightning' Database
  ☆13Updated 7 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 11 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆33Updated 11 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• jg-you / dyvider
  Dynamic programming algorithms for exact linear clustering in networks.
  ☆15Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• kachayev / dataclasses-tensor
  Easily serialize dataclasses to and from tensors (PyTorch, NumPy)
  ☆18Updated 3 years ago
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆14Updated 7 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• AlgebraicJulia / Structured-Epidemic-Modeling
  Results and software for our paper on structured epidemic modeling
  ☆13Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆11Updated last year