Alternatives and similar repositories for category-theory-python

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

• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• IgnitionProject / ignition
  A numerical code generator
  ☆20Updated 11 years ago
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• MuonRay / QuantumNetworkSimulations
  A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…
  ☆13Updated last month
• 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
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• sagemanifolds / IntroToManifolds
  Andrzej Chrzeszczyk's introduction to manifolds in SageMath
  ☆8Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆16Updated 7 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 9 months ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated last month
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• rizalzaf / AdversarialPrediction.jl
  Easily optimize generic performance metrics in differentiable learning.
  ☆18Updated 5 years ago
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆24Updated this week
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• ejmichaud / precision-ml
  ☆13Updated 2 years ago
• lecopivo / scientific-computing-lean
  work in progress book on Scientific Computing in Lean
  ☆13Updated 3 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated last year