Popular repositories Loading

1. hello-world hello-world Public

   I start learning github)

2. ICTERI-2017 ICTERI-2017 Public

   Готовим доклад с Игорем Высокопоясным: "Automatic Online Static Verification in E-Learning Programming"

3. verifiable-tests verifiable-tests Public

   Forked from harrytallbelt/verifiable-tests

   An attempt to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.

   JavaScript

4. github-slideshow github-slideshow Public

   A robot powered training repository 🤖

   HTML

5. demo demo Public

6. Test_GitHub_Extension_for_VS Test_GitHub_Extension_for_VS Public

   C++