Popular repositories

1. mmcs-philosopy-2014 mmcs-philosopy-2014 Public

   Записки по лекциям по философии, читаемым В. П. Муленко на Мехмате ЮФУ в 2014 г.

   7 2

2. txt txt Public

   Forked from Purgeable/txt

   Simple tasklist parser, 'todotxt'-style

   Python 2

3. compsci compsci Public

   Python 2 1

4. ranger ranger Public

   Forked from ranger/ranger

   A vim-inspired filemanager for the console

   Python 1

5. mmcs-sec-management-2014 mmcs-sec-management-2014 Public

   1 2

6. studying-sf studying-sf Public

   The Book: www.cis.upenn.edu/~bcpierce/sf/

   Coq 1