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 categorized list of C++ resources.

Subprocesses for Humans 2.0.

Modern C++ Cheatsheet

A guide for the rest of us on using C++ templates.