emnigma

Pinned Repositories

-automata_theory
Language:HTML00
algorithms-and-data-structures-spring-2022
Курс алгоритмов и структур данных, весна 2022
Language:Python00
DPLL
CNF + DPLL with custom logic
Language:Python00
freesurfer-group-analysis
Language:Shell10
GNN_learner
Language:Python00
mag_practices_2022-2024
Отчёты и отзывы о прохождении практик магистрантами 2021–2023 гг.
00
ml-tasks-solve
Language:Jupyter Notebook00
mri-data-ml
Language:Jupyter Notebook00
nlp_examples
Language:Jupyter Notebook00
spbu_ml_task1
Language:Jupyter Notebook00

emnigma's Repositories

emnigma/freesurfer-group-analysis
Language:Shell10
emnigma/-automata_theory
Language:HTML00
emnigma/algorithms-and-data-structures-spring-2022
Курс алгоритмов и структур данных, весна 2022
Language:Python00
emnigma/DPLL
CNF + DPLL with custom logic
Language:Python00
emnigma/GNN_learner
Language:Python00
emnigma/mag_practices_2022-2024
Отчёты и отзывы о прохождении практик магистрантами 2021–2023 гг.
00
emnigma/ml-tasks-solve
Language:Jupyter Notebook00
emnigma/mri-data-ml
Language:Jupyter Notebook00
emnigma/nlp_examples
Language:Jupyter Notebook00
emnigma/spbu_ml_task1
Language:Jupyter Notebook00
emnigma/spbu_ml_task2
Language:Jupyter Notebook
emnigma/VSharp
Symbolic execution engine for .NET Core
emnigma/vsharp_benchmarks
Language:Python
emnigma/X
The X Toolkit
Language:JavaScript