A supplementary Coq workout repository

Репозиторий с решенными задачами для IT сертификации Госуслуг (PGU) ХедХантера (HH)

Платформа для оценки преподавателей на матмехе СПБГУ

Lecturer-students ASP.NET Core collaboration service

PySATL experiment lib

PySATL lib for statistical tests

Конспекты по математической логике

Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme

Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.

Notes for course operating systems SE SPBU '28

CPS examples

Computer Graphics lecture notes