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
  ☆258Updated 7 months ago
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆253Updated 2 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆264Updated 6 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆115Updated 2 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆627Updated 2 years ago
• thomasahle / tensorgrad
  Machine Learning with Symbolic Tensors
  ☆303Updated last month
• google-deepmind / mathematics_conjectures
  ☆374Updated 3 years 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
  ☆984Updated 4 months ago
• MilesCranmer / awesome-ml-demos
  Curated list of interactive ML demos
  ☆351Updated 3 months ago
• awesome-tnns / awesome-tnns
  ☆174Updated last year
• xbresson / GML2023
  Graph Machine Learning course, Xavier Bresson, 2023
  ☆613Updated 10 months ago
• probml / ssm-book
  Interactive textbook on state-space models
  ☆190Updated last year
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,108Updated 2 weeks ago
• google-deepmind / penzai
  A JAX research toolkit for building, editing, and visualizing neural networks.
  ☆1,796Updated this week
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆663Updated last month
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 4 months ago
• google-deepmind / clrs
  ☆487Updated last month
• philipphennig / Probabilistic_ML
  Material for the "Probabilistic Machine Learning" Course at the University of Tübingen, Summer Term 2023
  ☆162Updated last year
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆411Updated 2 weeks ago
• srush / Autodiff-Puzzles
  ☆436Updated 8 months ago
• philipphennig / NumericsOfML
  Notes for the Numerics of Machine Learning Lecture Course at the University of Tübingen
  ☆206Updated last year
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆356Updated 9 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆672Updated 2 weeks ago
• google-deepmind / uncertain_ground_truth
  Dermatology ddx dataset, Jax implementations of Monte Carlo conformal prediction, plausibility regions and statistical annotation aggrega…
  ☆650Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆392Updated this week
• google-deepmind / mctx
  Monte Carlo tree search in JAX
  ☆2,501Updated 2 months ago
• pyt-team / TopoModelX
  Topological Deep Learning
  ☆283Updated this week
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,622Updated 5 months ago
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆293Updated 3 years ago
• probml / pml2-book
  Probabilistic Machine Learning: Advanced Topics
  ☆1,470Updated 2 months ago