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