Popular repositories Loading

1. hott-reading-course hott-reading-course Public

   Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering

   TeX 14 1

2. cisinski-higher-cats cisinski-higher-cats Public

   Reading group for Cisinski's higher categories and homotopical algebra

   8 1

3. general_course_information general_course_information Public

   1

4. types-website types-website Public

   Source code for TYPES 2026 conference website and related automation

   Haskell 1

5. gitlab-user-merge gitlab-user-merge Public

   A tool for merging users in a self-managed GitLab installation

   Ruby 1

6. HoTT-Agda HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda