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
  ☆250Updated 4 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated last month
• google-deepmind / mathematics_conjectures
  ☆370Updated 3 years ago
• thomasahle / tensorgrad
  Machine Learning with Symbolic Tensors
  ☆261Updated 3 weeks ago
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆241Updated 3 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆234Updated 3 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆341Updated 6 months ago
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,064Updated 3 weeks ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆113Updated last year
• neurreps / awesome-neural-geometry
  A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
  ☆962Updated last month
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆380Updated this week
• google-deepmind / penzai
  A JAX research toolkit for building, editing, and visualizing neural networks.
  ☆1,748Updated 3 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆155Updated 3 weeks ago
• xbresson / GML2023
  Graph Machine Learning course, Xavier Bresson, 2023
  ☆605Updated 7 months ago
• 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…
  ☆306Updated last year
• srush / Autodiff-Puzzles
  ☆423Updated 5 months ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,608Updated 2 months ago
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆637Updated this week
• n2cholas / awesome-jax
  JAX - A curated list of resources https://github.com/google/jax
  ☆1,747Updated last month
• google-deepmind / treescope
  An interactive HTML pretty-printer for machine learning research in IPython notebooks.
  ☆399Updated 2 weeks ago
• MilesCranmer / awesome-ml-demos
  Curated list of interactive ML demos
  ☆350Updated 2 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆401Updated last month
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆397Updated last year
• google-deepmind / uncertain_ground_truth
  Dermatology ddx dataset, Jax implementations of Monte Carlo conformal prediction, plausibility regions and statistical annotation aggrega…
  ☆647Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• patrick-kidger / equinox
  Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
  ☆2,285Updated this week
• google-deepmind / jraph
  A Graph Neural Network Library in Jax
  ☆1,415Updated last year
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆621Updated last year
• bayesoptbook / bayesoptbook.github.io
  Companion webpage for the book "Bayesian Optimization" by Roman Garnett
  ☆904Updated 10 months ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆363Updated this week