Java client for Tox via TCP
Various methods for parsing and classification of signals received from wearable devices
A thesis on hand motion recognition. See "Wrist motion recognition" in the "Projects" tab.
Android (wear+mobile) apps that log sensor activity and send it to Dropbox for further analysis
A repository with Coq tasks related to "Semantics of programming languages" course at HSE-SPb
Hahn: A Coq library
Project is aimed to store student's practical works on high performance computing course