Dmitriy Sokolov's repositories
coroutines-profiler
Coroutines profiler for Kotlin
Algorithms-2022
Course: algorithms and data structures (2022)
bst-removal-benchmark
Benchmark of elements removal in binary search tree via iterator.remove() & remove() fun
calories-counter
Educational project at Polytech 5th term
kekstagram
Dmitriy Sokolov
maze-solver
Educational project: maze solver
dee-tree.github.io
My website
ksmt
Kotlin API for various SMT solvers
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
cryptomator
Multi-platform transparent client-side encryption of your files in the cloud
cryptomator-android
Cryptomator for Android
kotlin
The Kotlin Programming Language.
kotlinx.coroutines
Library support for Kotlin coroutines
network-techs
Educational projectin SpbSTU. Network technologies subj
os-testing
Educational project SPbSTU.Software testing. OS processes and scheduler model
rude-carnie
Age detection in Tensorflow
telecom-labs
Educational project: labs on telecommunication technologies course in the 6th term in Bachelor's Degree (Peter the Great Polytech University)
TelegramBotAPI
Type-safe library for work with Telegram Bot API
TIP
Static program analysis for TIP
translators-labs
Educational project: labs on translarors course in the 5th term in Bachelor's Degree (Peter the Great Polytech University)
zmk-config-lily58
Lily58 ZMK config & keymaps