Alternatives and similar repositories for Category_Theory_Resources

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

• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,412Updated this week
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆55Updated 2 years ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆381Updated 2 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆275Updated 7 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆421Updated last month
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆146Updated 5 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 5 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 9 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…
  ☆308Updated last year
• ToposInstitute / poly
  ☆117Updated last year
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆359Updated 11 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆205Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆227Updated last week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆221Updated 4 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆632Updated 2 years ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆118Updated 3 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆176Updated this week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆228Updated last month
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆115Updated this week
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆181Updated this week
• teorth / symmetric_project
  ☆92Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• 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.
  ☆296Updated 3 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆666Updated this week
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago