Popular repositories Loading

1. pathfinder pathfinder Public

   CFL-R-based static analysis tool

   C++ 5 7

2. fltp fltp Public

   Formal Languages Theory in Practice [MIPT Course]

   C++ 5 3

3. 3_sem_22_23 3_sem_22_23 Public

   3 sem

   C 4 13

4. reconstructor reconstructor Public

   Linux process tree reconstructor using reconstruction graph methods (public 'early release').

   Python 3 1

5. 4_sem 4_sem Public

   Информатика: ООП и введение в промышленное программирование

   C++ 3 2

6. about_me about_me Public

   Some information about my scientific and engineering activities. For example, a list of academic publications and CV. In Russian.

   1 1