Denis Fokin's repositories

ChooseRuntime

JetBrains-based IDE Runtime switcher

symbol_abstraction

Type system description API

Language:KotlinStargazers:1Issues:0Issues:0

batik

Mirror of Apache Batik

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

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:KotlinLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:1Issues:0

heros

IFDS/IDE Solver for Soot and other frameworks

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

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++License:GPL-2.0Stargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:3Issues:0
Language:KotlinStargazers:0Issues:1Issues:0

PAHExample

The most trivial example of press and hold implementation

Language:Objective-CStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:0Issues:0

UTBotJava

Tool that generates unit test for Java, trying to reach all branches and maximize code coverage

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:0Issues:0

winpty

A Windows software package providing an interface similar to a Unix pty-master for communicating with Windows console programs.

Language:C++License:MITStargazers:0Issues:1Issues:0