Pinned Repositories
dynsys
Dynamic systems visualizer
intellij-frege
IntelliJ IDEA plugin for Frege language
aws-dynamodb-test-task
cognitive-complexity-test-task
compilers-2021-autumn
deadline-helper
DT2022
Dependent types 2022
dynsys
extract-interface-test-task
Test task for Full Line Code Completion fall practice
parsek
Parser combinators in Kotlin for Kotlin Multiplatform
kkarnauk's Repositories
kkarnauk/parsek
Parser combinators in Kotlin for Kotlin Multiplatform
kkarnauk/aws-dynamodb-test-task
kkarnauk/cognitive-complexity-test-task
kkarnauk/compilers-2021-autumn
kkarnauk/deadline-helper
kkarnauk/DT2022
Dependent types 2022
kkarnauk/dynsys
kkarnauk/extract-interface-test-task
Test task for Full Line Code Completion fall practice
kkarnauk/hse-2019-pb-tasks
kkarnauk/HSE-FL-Fall-2020
kkarnauk/hse-homework-sd
Repository for Software Design homework
kkarnauk/hse-spb-conspects-2020
kkarnauk/ideavim
IdeaVim – A Vim engine for JetBrains IDEs
kkarnauk/ij-inline-completion-multiple-suggestions-demo
This repo provides an example how to implement an Inline Completion Provider within IJ platform 2023.3 that supports multiple suggestions
kkarnauk/jetbrains-tasks
kkarnauk/jetbrains-tasks-2021-summer
kkarnauk/math-stats-hse-2021
kkarnauk/python-hse-spring-2022
kkarnauk/sd-hse-spring-2022
kkarnauk/se-project-fall-2021
Yandex.Bookmarks. It's a SE study project in HSE university, Fall 2021