Stanislav-Sartasov / spsu-mm-se-programmingLinks
A repository for SPbU Software Engineering bachelor studies
☆7Updated last year
Alternatives and similar repositories for spsu-mm-se-programming
Users that are interested in spsu-mm-se-programming are comparing it to the libraries listed below
Sorting:
- ☆2Updated 2 years ago
- Cat photo storage☆14Updated last year
- Шаблон презентации для квалификационных работ☆21Updated last year
- Latex шаблон текста для квалификационных работ☆41Updated last month
- Android application for department navigation☆36Updated 2 months ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆15Updated 3 years ago
- Pure Kotlin CDCL SAT solver☆9Updated last year
- Cute network emulation web-app for self-education and classes (based on mininet).☆21Updated this week
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated this week
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13Updated 2 months ago
- Kotlin/Java API for various SMT solvers☆31Updated 2 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- MpeiX - Расписание пар, карта корпусов и личный кабинет БАРС для студентов и преподавателей НИУ МЭИ☆40Updated 9 months ago
- Задачи для онлайн-курса "Котлин как первый язык программирования"☆76Updated 2 years ago
- Dependency Injection framework based on Google's Dagger2 API, optimized for fast builds and for managing large graphs with optional depen…☆244Updated last week
- ☆19Updated 3 months ago
- A simple example of kotlim compiler plugin with FIR and IR.☆13Updated 2 years ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА☆82Updated 7 months ago
- A fast and safe manual dependency injector for Kotlin and Android.☆116Updated last year
- ☆38Updated this week
- Young and dynamic build system for Python☆21Updated 2 years ago
- record and listen to voice messages in your favorite IDE by JetBrains☆413Updated last year
- Simple telegram cat-captcha bot☆21Updated 2 years ago
- ☆14Updated 3 years ago
- Шаблон на typst для оформления документов согласно ГОСТ 7.32-2017.☆106Updated 2 months ago
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- Wdater is a Kotlin library designed to simplify database migrations when used in conjunction with the Exposed library. It provides an int…☆26Updated last year
- Course: algorithms and data structures☆25Updated 3 years ago
- A platform for analysis of Java bytecode☆32Updated 9 months ago
- ☆38Updated 3 years ago