Pinned Repositories
intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
kotlin
The Kotlin Programming Language.
posanie
Приложение для расписания СПБПУ
AI.Plugin.IntelliJ
PT AI IDE Plugin for JetBrains IntelliJ
BOS-report-supercomputer-taskmanager-simulation
Supercomputer taskmanager simulation for Basic of Operation Systems course
compoly
i-lang-compiler
Simple Compiler for 'Compilers Construction: Practical Introduction' Course
SPIDER
LibSL static library analyzer for jvm languages
UnsignedBigInteger
UnsignedBigInteger class for SPbSTU
libsl
vldF's Repositories
vldF/compoly
vldF/i-lang-compiler
Simple Compiler for 'Compilers Construction: Practical Introduction' Course
vldF/AI.Plugin.IntelliJ
PT AI IDE Plugin for JetBrains IntelliJ
vldF/Android-lab2.4
vldF/android-labs
vldF/androidlabs
vldF/blockchain
vldF/dominant-colors-extractor
vldF/game-of-life
vldF/go-z3
Bindings for the Z3 SMT solver
vldF/hs-poly-test-repo
vldF/IdeaTextAndFileEqualityChecker
Interactive text and file equality checker for Idea
vldF/intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
vldF/kex
White-box fuzzer for Java bytecode
vldF/kfg
Library for building CFG for Java bytecode
vldF/Lab4
vldF/libsl
vldF/libsl-extractor
vldF/LibSL-IntelliJ-Plugin
Simple plugin that implements basic syntax highlighting and some features of Library Specification Language
vldF/LibSLParser
vldF/protokt-bug-repro
vldF/spider-okhttp-demo
Simple project that illustrates usage of SIDER
vldF/stella-tests
Тесткейсы с описанием для языка Stella
vldF/stella-type-checker
Simple type checker for Stella Programming Language
vldF/stella_runtime
vldF/symbolic_execution_course
vldF/telecom
vldF/TIP
Static program analysis for TIP
vldF/useful-utility-server
vldF/verification-lab4-nuxmv