bgavran / Category_Theory_Resources
List of resources for learning Category Theory
☆245Updated 2 months ago
Alternatives and similar repositories for Category_Theory_Resources:
Users that are interested in Category_Theory_Resources are comparing it to the libraries listed below
- List of papers studying machine learning through the lens of category theory☆1,325Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- An interactive theorem prover for string diagrams☆109Updated 3 months ago
- A curated list of awesome Category Theory resources.☆111Updated 11 months ago
- The collected works of F. W. Lawvere☆333Updated 5 months ago
- ☆114Updated 7 months ago
- The Python toolkit for computing with string diagrams.☆361Updated this week
- Resources for learning Category Theory for an enthusiast☆618Updated last year
- Deep learning via category theory and functional programming☆141Updated 4 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆52Updated last year
- a categorical deep learning compiler☆194Updated 9 months ago
- Scientific computing in Lean 4☆366Updated this week
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- 💧 Liquid Tensor Experiment☆188Updated last year
- An introduction to theorem proving in Lean for the impatient.☆130Updated this week
- A framework for applied category theory in the Julia language☆630Updated this week
- plasTeX plugin to build formalization blueprints.☆182Updated 3 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 10 months ago
- A curated list of topological deep learning (TDL) resources and links.☆232Updated 2 months ago
- ☆161Updated 5 years ago
- The agda-unimath library☆237Updated this week
- Server to host lean games.☆234Updated last week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆306Updated 11 months ago
- Lecture notes from Cambridge maths☆65Updated last year
- Source code for the nLab☆159Updated last month
- 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
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 11 months ago
- Categorical Logic Notes☆75Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year