ITMO labs
☆29Oct 22, 2023Updated 2 years ago
Alternatives and similar repositories for Itmo-University
Users that are interested in Itmo-University are comparing it to the libraries listed below
Sorting:
- ☆10Jul 2, 2022Updated 3 years ago
- Конспекты М3*37 2019 года☆77Updated this week
- Haskell homework tests☆31Feb 7, 2022Updated 4 years ago
- ☆20Jun 30, 2022Updated 3 years ago
- xd☆68Feb 6, 2025Updated last year
- 🎓 Учебные материалы и лабораторные работы направления СППО (ПИиКТ) ИТМО, 2022-2026☆272Feb 14, 2026Updated 2 weeks ago
- ☆16Jun 22, 2024Updated last year
- LaTex template for ITMO style presentations☆10Jan 19, 2025Updated last year
- Guide for 1st year ITMO VT students / Гайд для студентов 1 курса ИТМО ВТ☆135Sep 12, 2024Updated last year
- Архетип для лабораторных работ по программированию (ИТМО, 2 семестр)☆10Feb 7, 2022Updated 4 years ago
- My works at ITMO University☆13Jan 25, 2026Updated last month
- ☆11Jun 4, 2021Updated 4 years ago
- Bring colorful and funny Jumoreski into your workspace!☆16Nov 5, 2023Updated 2 years ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- The original Backups mod from FTB, superseded by Backups 2 and Backups 3☆12Jun 28, 2025Updated 8 months ago
- ☆18Jan 5, 2026Updated 2 months ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- types for various combinatory systems, especialy tree calculi☆24Jan 23, 2025Updated last year
- My strange adventures in this place☆13Feb 10, 2022Updated 4 years ago
- ☆18Mar 14, 2024Updated last year
- ☆25Jun 2, 2022Updated 3 years ago
- Mathematical notes and papers☆27Jan 22, 2026Updated last month
- Собрание материалов, наработанных во время учёбы на КТ ИТМО, M3*36 y2021☆19May 26, 2024Updated last year
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆20Jan 31, 2020Updated 6 years ago
- ITMO CT M3x38 conspects☆20Jul 10, 2025Updated 7 months ago
- ☆16Oct 23, 2023Updated 2 years ago
- A digital archive of category theory papers.☆35Feb 5, 2026Updated last month
- LeetCode frequently asked questions☆219Apr 22, 2022Updated 3 years ago
- Laboratory problems and solutions for the ITMO course "Algorithms and data structures"☆83Dec 21, 2019Updated 6 years ago
- Facilities for generating dependently-typed data☆29Updated this week
- OOP ITMO☆31Mar 26, 2023Updated 2 years ago
- Teaming system for Minecraft, create a team, claim chunks with FTB Chunks or share progress with FTB Quests, and much more.☆32Updated this week
- fast and effective way to access and analyze java bytecode☆32Dec 10, 2025Updated 2 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Jan 17, 2022Updated 4 years ago
- ☆34Jun 6, 2024Updated last year
- ☆45Feb 19, 2026Updated 2 weeks ago
- An extension that adds an "edit tags" button to every object on osm.org☆35Jun 30, 2025Updated 8 months ago
- 📜 Guide for 2nd year ITMO VT students / Гайд для студентов 2 курса ИТМО ВТ☆37Jun 24, 2025Updated 8 months ago
- Все лабы и отчеты кафедры ВТ (СППО) Университета ИТМО☆137Jun 6, 2023Updated 2 years ago