Coding-Library. Library of C++ implementations for algorithms used in competitive programming.
151SP-MPNN. Implementation of the SPN model and the experiments from the LoG 2022 paper "Shortest Path Networks for Graph Property Prediction".
25rpai. Tool to make it easier to jump between AI agents in tmux.
15Implicit-treap. C++
5CompetitiveProgramming. Solutions to problems from online judges.
3acm-sgu. This repository contains solutions to ACM SGU (Saratov State University) competitive programming problems, enhanced with detailed editorials and reasoning explanations generated using LLMs.
3WMI-DNF. Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".
1nvim-config. Neovim config
1EUCYS-project-2017. Codes of our project for EUCYS 2017
1