LChernigovskaya

Pinned Repositories

aeval
AE-solver and Skolemizer
Language:SMT00
fortran-plugin
Fortran language plugin for IntelliJ Idea
Language:Kotlin00
generation
Language:Java00
gradle-intellij-plugin
Gradle plugin for building plugins for IntelliJ-based IDEs
Language:Kotlin00
Homework
Language:C#00
hpcourse
Project is aimed to store student's practical works on high performance computing course
Language:Java00
intellij-community
IntelliJ IDEA Community Edition
00
intellij-plugin-verifier
Compatibility analysis tool for IntelliJ plugins
Language:Kotlin00
intellij-sdk-docs
IntelliJ SDK Platform Documentation
Language:Java00
ml
homework
Language:Jupyter Notebook00

LChernigovskaya's Repositories

LChernigovskaya/gradle-intellij-plugin
Gradle plugin for building plugins for IntelliJ-based IDEs
Language:Kotlin
LChernigovskaya/aeval
AE-solver and Skolemizer
LChernigovskaya/intellij-plugin-verifier
Compatibility analysis tool for IntelliJ plugins
Language:Kotlin
LChernigovskaya/intellij-sdk-docs
IntelliJ SDK Platform Documentation
Language:Java
LChernigovskaya/plugin-repository-rest-client
LChernigovskaya/hpcourse
Project is aimed to store student's practical works on high performance computing course
Language:Java
LChernigovskaya/ml
homework
Language:Jupyter Notebook
LChernigovskaya/fortran-plugin
Fortran language plugin for IntelliJ Idea
Language:Kotlin
LChernigovskaya/intellij-community
IntelliJ IDEA Community Edition
LChernigovskaya/spacer
Language:C++
LChernigovskaya/z3
The Z3 Theorem Prover
Language:C++
LChernigovskaya/VSharp
Language:F#
LChernigovskaya/Homework
Language:C#
LChernigovskaya/generation
Language:Java
LChernigovskaya/qreal-web
Web CASE-tool for mobile apps development
Language:JavaScript