dee-tree Goto Github PK

algorithms-2022

Course: algorithms and data structures (2022)

ast

Abstract Syntax Tree for kotlin classes

birdie

Birdie is the first my game written for Android. It is similar to Fluppy Bird.

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”.

bst-removal-benchmark

Benchmark of elements removal in binary search tree via iterator.remove() & remove() fun

calories-counter

Educational project at Polytech 5th term

coroutines-profiler

Coroutines profiler for Kotlin

covboy

Coverage based SMT-solvers behavior testing

cryptomator

Multi-platform transparent client-side encryption of your files in the cloud

cryptomator-android

Cryptomator for Android

dee-tree.github.io

My website

developers-life

Developers Live GIF images shower from API

du

Command-line utility (disk-usage) computing sizes of files or directories

hatofmagic

Hat of Magic - игра, изначально придуманная на конкурс "What da Hat"

jenkins-java-junit-playground

kekstagram

Dmitriy Sokolov

kotlin

The Kotlin Programming Language.

kotlinx.coroutines

Library support for Kotlin coroutines

ksmt

Kotlin API for various SMT solvers

maze-solver

Educational project: maze solver

mppconverter

Deprecated. See https://github.com/Codemitry/kotlin repo at branch mppConverter. Converter for JVM/JS Kotlin projects with Gradle to multiplatform projects.

network-techs

Educational projectin SpbSTU. Network technologies subj

os-testing

Educational project SPbSTU.Software testing. OS processes and scheduler model

polyhelpbot

productivity

Productivity is an educational app in Polytechnic University

qring

Android QR-code generator & scanner

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

tgbotapi_fsm_bugcase