Evgenii Kotelnikov's repositories
awesome-self-reference
A curated list of examples of self-reference in art, science, and technology
porterstemmer
An implementation of the Porter stemming algorithm in Scala
Solver.agda
A collection of simple verified SAT-solvers
phd-thesis
Automated Theorem Proving with Extensions of First-Order Logic
android
Android Plugin for IntelliJ IDEA. This repository is a subset of https://git.jetbrains.org/?p=idea/android.git cut according to GitHub file size limitations.
android-examples
:shipit: [Examples] Simple basic isolated apps, for budding android devs.
architecture-components-samples
Samples for Android Architecture Components.
avito-android
Infrastructure of Avito android
awesome-naming
A curated list for when naming things is done right.
aztek.github.io
https://ekotelnikov.com
bk-ci
蓝鲸持续集成平台(蓝盾)
corda-gradle-plugins
Gradle plugins used by Corda and Cordapps
elasticsearch
Free and Open, Distributed, RESTful Search Engine
gradle
Adaptable, fast automation for all
intellij-kotlin
IntelliJ IDEA plugin for the Kotlin programming language
kotlin
The Kotlin Programming Language.
mastodon-android
Official Android app for Mastodon
native-samples
Samples of modern build automation for native languages with Gradle
nodejs-goof
Super vulnerable todo list application
turing-complete-iceberg
The "X in Turing-complete" Iceberg