Stars
Experimental implementation of Cubical Type Theory
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
💻 Learn to make machines learn so that you don't have to struggle to program them; The ultimate list
HoTTEST Summer School materials
An introductory course to Homotopy Type Theory
A guide for the rest of us on using C++ templates.