ITMO labs
☆30Oct 22, 2023Updated 3 years ago
Alternatives and similar repositories for Itmo-University
Users that are interested in Itmo-University are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Собрание всех материалов, связанных с обучением в ИТМО - ИВТ 2023-...☆14Updated this week
- ☆10Jul 2, 2022Updated 4 years ago
- Конспекты КТ ИТМО 36 y2020☆29Jan 23, 2022Updated 4 years ago
- Painless to setup lightweight log aggregation system☆14Feb 19, 2024Updated 2 years ago
- Лабораторные работы по программированию (ИТМО, ПИиКТ-СиППО, 1 курс).☆12Oct 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆36Sep 30, 2024Updated 2 years ago
- xd☆68Feb 6, 2025Updated last year
- Everything about ITMO 🏫☆21Oct 25, 2026Updated last week
- Лабораторные работы по дисциплине «Программирование» - Университет ИТМО☆17Mar 25, 2022Updated 4 years ago
- ☆13Jun 10, 2021Updated 5 years ago
- Bring colorful and funny Jumoreski into your workspace!☆17Nov 5, 2023Updated 3 years ago
- FAQ по секте☆14Feb 27, 2023Updated 3 years ago
- ☆20Jun 30, 2022Updated 4 years ago
- CT ITMO Tasks☆10Jul 20, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Facilities for generating dependently-typed data☆36Updated this week
- tasks from the uni☆13Aug 3, 2026Updated 3 months ago
- Мои лабораторные работы, методички и другие материалы, которые я собрал во время учебы в ИТМО на Факультете ПИиКТ (СППО) 2021-2023☆48Jul 10, 2023Updated 3 years ago
- Guide for 1st year ITMO VT students / Гайд для студентов 1 курса ИТМО ВТ☆149Oct 29, 2026Updated last week
- All my work that I did at this University.☆100Sep 30, 2026Updated last month
- ☆17Jun 22, 2024Updated 2 years ago
- Lean formalization of CFSG☆20Oct 28, 2026Updated last week
- Все лабы и отчеты кафедры ВТ (СППО) Университета ИТМО☆136Jun 6, 2023Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.☆11Jan 31, 2022Updated 4 years ago
- My PhD thesis.☆15Jun 30, 2023Updated 3 years ago
- Шпаргалки, первый-четвертый курс ИТМО ВТ☆84Mar 28, 2021Updated 5 years ago
- IT internships in Russia 🇷🇺☆452Mar 18, 2024Updated 2 years ago
- ITMO CT C++ course notes☆170Jun 26, 2026Updated 4 months ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- Undergraduate computer science course☆15Apr 8, 2020Updated 6 years ago
- Mathematical notes and papers☆28Sep 24, 2026Updated last month
- Basics of C++ Development: Yellow Belt by Moscow Institute of Physics and Technology & Yandex☆18Feb 23, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 11 months ago
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- ☆14Jun 4, 2021Updated 5 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Source code from classes at ITMO University☆11Oct 26, 2021Updated 5 years ago
- ☆19Oct 25, 2026Updated last week
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Feb 10, 2026Updated 8 months ago