ITMO/CTD notes, y2013 🇺🇦
☆71Mar 29, 2019Updated 7 years ago
Alternatives and similar repositories for study-notes
Users that are interested in study-notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Oct 9, 2016Updated 9 years ago
- LaTeX styles for different purposes.☆111Apr 21, 2023Updated 3 years ago
- Check your knowledge of Java Streams API (edu project)☆16Nov 27, 2020Updated 5 years ago
- "Операционные системы", ИТМО, весна 2019☆16Jun 7, 2019Updated 6 years ago
- ITMO CT C++ course notes☆158Sep 4, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Конспекты М3*37 2019 года☆79Updated this week
- ☆11Jun 4, 2021Updated 4 years ago
- 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
- lecture notes☆28Oct 19, 2021Updated 4 years ago
- Contains all code that i wrote when I studied at ITMO University☆15Jul 7, 2022Updated 3 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- ☆12Feb 1, 2022Updated 4 years ago
- Importi.fy — it's like Uber, but for Haskell modules.☆103Sep 2, 2018Updated 7 years ago
- Практические задания. Университет ИТМО, кафедра КТ☆24Jul 31, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Solutions of ADS labs☆16May 16, 2018Updated 7 years ago
- Fast metagenome analysis toolkit☆27Sep 3, 2024Updated last year
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Updated this week
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated 10 months ago
- Homework and labs completed as part of education in ITMO university.☆12Mar 20, 2023Updated 3 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- bmstu, IU7-7, Компьютерные сети (2020)☆15Oct 27, 2021Updated 4 years ago
- Type-safe time units in Haskell☆50Jan 22, 2025Updated last year
- ☆14Apr 16, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell course in the Higher School of Economics☆19Dec 27, 2021Updated 4 years ago
- ☆13Jun 23, 2022Updated 3 years ago
- My strange adventures in this place☆13Feb 10, 2022Updated 4 years ago
- Turing machine visualizer☆22Feb 28, 2020Updated 6 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- A python utility based on networkx to generate random graph as edge list for graph algorithm exercises.☆16Aug 30, 2022Updated 3 years ago
- bmstu, IU7-5/6, Операционные Системы (2019/20)☆13Nov 22, 2021Updated 4 years ago
- C++ game engine for SFML.☆10Mar 29, 2015Updated 11 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ITMO labs☆29Oct 22, 2023Updated 2 years ago
- Monad Transformers and Classes☆76Jun 25, 2019Updated 6 years ago
- Java library that prevents user from running more than one instances of the same Java application - a.k.a. AppMutex☆12Jan 23, 2019Updated 7 years ago
- A handy bookmarklet and JS library to check a page for broken links☆24May 3, 2013Updated 12 years ago
- University hometasks/laboratories in IU9, BMSTU☆17Nov 4, 2022Updated 3 years ago
- Currently showcase for hexagonal architecture. Bot designed to poll announcements on websites and notify via Telegram.☆10Aug 29, 2025Updated 8 months ago
- CQRS + Event Sourcing Sample App with Kotlin, Spring Boot, Axon Framework, Kafka and Mongo☆18Apr 29, 2023Updated 3 years ago