Popular repositories Loading

1. os226-2022 os226-2022 Public

   Forked from AntonKozlov/os226-2022

   C

2. fp2022 fp2022 Public

   Forked from Krekep/fp2022

   OCaml

3. librarian_bot librarian_bot Public

   Telegram bot to help you organize your saved messages

   Python

4. formal-lang-course formal-lang-course Public

   Forked from FormalLanguageConstrainedPathQuerying/formal-lang-course

   Курс по формальным языкам: шаблон для домашних работ + материалы

   Python

5. change-detection change-detection Public

   Jupyter Notebook 1

6. Martos Martos Public

   Forked from IvanArkhipov1999/Martos

   Multi-agent real-time operating system

   Rust