Pinned Repositories
batik
Mirror of Apache Batik
ChooseRuntime
JetBrains-based IDE Runtime switcher
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.
FocusTuner
heros
IFDS/IDE Solver for Soot and other frameworks
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 :)
matryoshka
MultiModuleExample
OffscreenVsQuartzFontRendering
symbol_abstraction
Type system description API
denis-fokin's Repositories
denis-fokin/ChooseRuntime
JetBrains-based IDE Runtime switcher
denis-fokin/OffscreenVsQuartzFontRendering
denis-fokin/symbol_abstraction
Type system description API
denis-fokin/batik
Mirror of Apache Batik
denis-fokin/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.
denis-fokin/FocusTuner
denis-fokin/heros
IFDS/IDE Solver for Soot and other frameworks
denis-fokin/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 :)
denis-fokin/matryoshka
denis-fokin/MultiModuleExample
denis-fokin/PAHExample
The most trivial example of press and hold implementation
denis-fokin/SMT.KT
denis-fokin/UTBotJava
Tool that generates unit test for Java, trying to reach all branches and maximize code coverage
denis-fokin/winpty
A Windows software package providing an interface similar to a Unix pty-master for communicating with Windows console programs.