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
  ☆253Updated 5 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆623Updated 2 years ago
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,077Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆240Updated 4 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆347Updated 7 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆326Updated 3 weeks ago
• google-deepmind / penzai
  A JAX research toolkit for building, editing, and visualizing neural networks.
  ☆1,758Updated 2 weeks ago
• thomasahle / tensorgrad
  Machine Learning with Symbolic Tensors
  ☆267Updated last month
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆113Updated last year
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆412Updated 2 weeks ago
• google-deepmind / mathematics_conjectures
  ☆371Updated 3 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated last month
• google-deepmind / uncertain_ground_truth
  Dermatology ddx dataset, Jax implementations of Monte Carlo conformal prediction, plausibility regions and statistical annotation aggrega…
  ☆647Updated last year
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆243Updated last month
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,611Updated 3 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆650Updated last week
• leanprover-community / lean4game
  Server to host lean games.
  ☆253Updated 3 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆421Updated this week
• wilson-labs / cola
  Compositional Linear Algebra
  ☆474Updated 3 weeks ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆390Updated 2 weeks ago
• MilesCranmer / awesome-ml-demos
  Curated list of interactive ML demos
  ☆351Updated 3 weeks ago
• philipphennig / NumericsOfML
  Notes for the Numerics of Machine Learning Lecture Course at the University of Tübingen
  ☆201Updated last year
• google-deepmind / clrs
  ☆480Updated last month
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆175Updated this week
• 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.
  ☆294Updated 3 years ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆407Updated last week
• xbresson / GML2023
  Graph Machine Learning course, Xavier Bresson, 2023
  ☆606Updated 7 months ago
• mathematical-tours / mathematical-tours.github.io
  Site web of the Mathematical Tours
  ☆497Updated 4 months ago
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,111Updated last week
• n2cholas / awesome-jax
  JAX - A curated list of resources https://github.com/google/jax
  ☆1,788Updated 2 months ago