viktoriia-fomina

St. Petersburg State University

Pinned Repositories

gen-benchmark
Language:Kotlin00
Homework
Language:C++00
Homework-Semester-2-
Language:C#00
Homework-Semester-3
Language:C#00
Homework-Semester-4
Language:F#00
Internship
My solutions for the internship's tasks
Language:C#00
ksmt
Kotlin/Java API for various SMT solvers
Language:Kotlin00
ksmt-maxsmt-gen
Language:Kotlin00
Labs
Лабы, лабы, лабы
Language:C#00
Lectures
Language:TeX00

viktoriia-fomina's Repositories

viktoriia-fomina/gen-benchmark
Language:Kotlin00
viktoriia-fomina/Homework
Language:C++00
viktoriia-fomina/Homework-Semester-2-
Language:C#00
viktoriia-fomina/Homework-Semester-3
Language:C#00
viktoriia-fomina/Homework-Semester-4
Language:F#00
viktoriia-fomina/Internship
My solutions for the internship's tasks
Language:C#00
viktoriia-fomina/ksmt
Kotlin/Java API for various SMT solvers
Language:Kotlin00
viktoriia-fomina/ksmt-maxsmt-gen
Language:Kotlin00
viktoriia-fomina/Labs
Лабы, лабы, лабы
Language:C#00
viktoriia-fomina/Lectures
Language:TeX00
viktoriia-fomina/mag_practices_2022-2024
Отчёты и отзывы о прохождении практик магистрантами 2021–2023 гг.
viktoriia-fomina/mathematical-logic
Language:Kotlin
viktoriia-fomina/MaxSMT-benchmark-generation
Language:Python
viktoriia-fomina/ML
ML homeworks
Language:Jupyter Notebook
viktoriia-fomina/ReachableVertices
Language:Kotlin
viktoriia-fomina/Software-Design
Language:C#
viktoriia-fomina/soot
Soot - A Java optimization framework
Language:Java
viktoriia-fomina/spbu-mm-parallel-programming
viktoriia-fomina/SPBU-Practice
Language:C++
viktoriia-fomina/SQL-tasks
Language:TSQL
viktoriia-fomina/TestRepository
viktoriia-fomina/unittestbot.github.io
UTBot Cloud client side - web application generating tests
viktoriia-fomina/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
viktoriia-fomina/UTBotJava
Tool that generates unit test for Java, trying to reach all branches and maximize code coverage