Vladislav Feofilaktov's repositories
i-lang-compiler
Simple Compiler for 'Compilers Construction: Practical Introduction' Course
SPIDER
LibSL static library analyzer for jvm languages
Language:Kotlin000
AI.Plugin.IntelliJ
PT AI IDE Plugin for JetBrains IntelliJ
NOASSERTION000
Language:TeX000
Language:Kotlin000
Language:Kotlin000
Language:Kotlin000
Language:HaskellMIT000
IdeaTextAndFileEqualityChecker
Interactive text and file equality checker for Idea
intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
Apache-2.0000
kex
White-box fuzzer for Java bytecode
Language:KotlinApache-2.0000
kfg
Library for building CFG for Java bytecode
Language:KotlinApache-2.0000
kotlin
The Kotlin Programming Language
000
Language:Kotlin000
Language:Kotlin000
LibSL-IntelliJ-Plugin
Simple plugin that implements basic syntax highlighting and some features of Library Specification Language
Language:Kotlin000
Language:Kotlin000
spider-okhttp-demo
Simple project that illustrates usage of SIDER
Language:Java000
stella-tests
Тесткейсы с описанием для языка Stella
Language:SmalltalkMIT000
stella-type-checker
Simple type checker for Stella Programming Language
Language:Kotlin000
TIP
Static program analysis for TIP
000
Language:Kotlin000