Denis Fokin's repositories
ChooseRuntime
JetBrains-based IDE Runtime switcher
symbol_abstraction
Type system description API
educational-plugin
Educational plugin to learn and teach programming languages such as Kotlin, Java, Python, JavaScript, and others right inside of JetBrains IntelliJ Platform based IDEs.
Language:KotlinApache-2.0000
heros
IFDS/IDE Solver for Soot and other frameworks
Language:JavaLGPL-2.1000
libptytty
libptytty is an offspring of rxvt-unicode that handles pty/tty/utmp/wtmp/lastlog handling in mostly OS-independent ways, so it's less of a hassle for you :)
Language:C++GPL-2.0000
PAHExample
The most trivial example of press and hold implementation
Language:Java000
UTBotJava
Tool that generates unit test for Java, trying to reach all branches and maximize code coverage
Language:KotlinApache-2.0000