Alternatives and similar repositories for Category_Theory_Machine_Learning

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

• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆270Updated 10 months ago
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆266Updated last week
• thomasahle / tensorgrad
  Machine Learning with Symbolic Tensors
  ☆344Updated 4 months ago
• google-deepmind / mathematics_conjectures
  ☆376Updated 3 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆640Updated 2 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆307Updated 10 months ago
• google-deepmind / clrs
  ☆507Updated 5 months ago
• dmarx / anthology-of-modern-ml
  Collection of important articles to be treated as a textbook
  ☆810Updated last month
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,167Updated 3 weeks ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆123Updated 5 months ago
• daturkel / learning-papers
  Landmark Papers in Machine Learning
  ☆675Updated last month
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆364Updated last year
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,634Updated 8 months ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆54Updated 2 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆363Updated last week
• google-deepmind / penzai
  A JAX research toolkit for building, editing, and visualizing neural networks.
  ☆1,823Updated 3 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆428Updated 4 months ago
• xbresson / GML2023
  Graph Machine Learning course, Xavier Bresson, 2023
  ☆616Updated last year
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆310Updated last year
• awesome-tnns / awesome-tnns
  ☆176Updated 2 years ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆384Updated 4 months ago
• srush / Autodiff-Puzzles
  ☆454Updated 11 months ago
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,153Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆715Updated last week
• mathematical-tours / mathematical-tours.github.io
  Site web of the Mathematical Tours
  ☆508Updated 9 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆429Updated last week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆642Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆419Updated 2 months ago
• neurreps / awesome-neural-geometry
  A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
  ☆1,022Updated 7 months ago