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,402Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆271Updated 7 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
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆380Updated last month
• ToposInstitute / poly
  ☆116Updated 11 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆416Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 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…
  ☆307Updated last year
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆204Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆220Updated last month
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 3 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 4 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆219Updated 3 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
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆144Updated 5 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆629Updated 2 years ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆225Updated 3 weeks ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆173Updated this week
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆116Updated 2 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆359Updated 10 months ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆177Updated last week
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆424Updated this week
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆112Updated last month
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆195Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆405Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆666Updated 2 weeks ago