Stars
Materials for Math 583B: Topological Data Analysis
The TeX for Adams' blue book, by the group TeXromancers
The Complete Works of William Shakespeare hosted at http://shakespeare.mit.edu/
vcvpaiva / Dialectica
Forked from bond15/Dialectica2022 AMS MRC on Applied Category Theory.
A framework for applied category theory in the Julia language
List of papers studying machine learning through the lens of category theory
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021