Popular repositories Loading

1. hoq hoq Public

   A language based on homotopy type theory with an interval

   Haskell 84 4

2. DT2018 DT2018 Public

   Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года

   VCL 15 8

3. DT2019.1 DT2019.1 Public

   Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года

   9 3

4. hott-doc hott-doc Public

   TeX 5

5. HoTT HoTT Public

   HoTT playground

   Haskell 4

6. CT2020 CT2020 Public

   TeX 3 2