Egor Namakonov's repositories
compilers23-exercises-tue8-11
Code from TA classes on AU Compilers 2023 course (Tuesdays 8-11, TA: Egor / Hünkar)
ActivityClassifier
Various methods for parsing and classification of signals received from wearable devices
oopsla-talk
OOPSLA talk and slides
jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
hahn
Hahn: A Coq library
imm
Intermediate Memory Model (IMM) and compilation correctness proofs for it
jpf-symbc
Symbolic PathFinder
hpcourse
Project is aimed to store student's practical works on high performance computing course
coq-semantics-2019
A repository with Coq tasks related to "Semantics of programming languages" course at HSE-SPb
konspector
Tool for interval repetition of OrgMode conspects written in Kotlin
stm32_experiments
Repository for STM32-related code
orgzly-android
Outliner for taking notes and managing to-do lists
tox-client
Java client for Tox via TCP
ActionLogger
Android (wear+mobile) apps that log sensor activity and send it to Dropbox for further analysis
bachelor_thesis
A thesis on hand motion recognition. See "Wrist motion recognition" in the "Projects" tab.
networks_coursework
Repo for client-server sockets app
LM-trainer
Levenberg-Marquardt algorithm implementation on C++
mp_helper
MP codes translator
OptiVox
Optical theremin for Android