Mark Vavilov's repositories
bench
bench
fake
Simple GNU make-like tool written in Kotlin
ksmt
Kotlin API for various SMT solvers
electron
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
hse-sd-3
It's a repository with SD homeworks, Spring 2022
intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
jb-python-console-task
Solution of test task for JB internship "Execution Queue in Python Console"
kdmid_queue_checker
Script for automatic checking of the status of the queue after appointment intent in Russian Consulate
KotlinAsFirst-Coursera-v2019
Репозиторий для курса https://www.coursera.org/learn/vvedenie-v-yazyk-kotlin/ (версия 2019)
kotlinWithFuzzer
The Kotlin Programming Language
mathhelper-space-web
mathhelper.space web front
moneywallet
An android application that let you track your expenses
paddle
Young and dynamic build system for Python
se21-project
https://docs.google.com/presentation/d/1IRX_TwvE4vAN6EEunaaX_9J0BBhM6ExMontM1jVHbHg/edit?usp=sharing
symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
virtual-background
Demo on adding virtual background to a live video stream in the browser