LaTeX styles for different purposes.
☆111Apr 21, 2023Updated 3 years ago
Alternatives and similar repositories for latex-styles
Users that are interested in latex-styles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Check your knowledge of Java Streams API (edu project)☆16Nov 27, 2020Updated 5 years ago
- ITMO/CTD notes, y2013 🇺🇦☆71Mar 29, 2019Updated 7 years ago
- ☆11Jun 4, 2021Updated 4 years ago
- "Операционные системы", ИТМО, весна 2019☆16Jun 7, 2019Updated 6 years ago
- Slides and other materials for functional programming lectures ITMO university☆627Jan 17, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Notes for type theory course☆21Jan 11, 2019Updated 7 years ago
- computational geometry notes☆16Jul 6, 2023Updated 2 years ago
- ☆16Mar 6, 2024Updated 2 years ago
- ☆20Jun 30, 2022Updated 3 years ago
- Guidelines to homework testing in IDEA☆10Mar 21, 2021Updated 5 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- ☆15Oct 21, 2021Updated 4 years ago
- Конспекты курса архитектуры ЭВМ, ИТМО☆47Oct 25, 2019Updated 6 years ago
- Diploma project: Integration of seqlock-based synchronization into open-addressed concurrent hash table algorithm☆10Jun 13, 2023Updated 2 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.
- lecture notes☆28Oct 19, 2021Updated 4 years ago
- Materials & home works for IFMO'2018 logic course☆25Oct 26, 2021Updated 4 years ago
- Universal Symbolic Virtual Machine☆29Apr 1, 2026Updated last month
- ☆12Feb 1, 2022Updated 4 years ago
- ☆16Jan 23, 2021Updated 5 years ago
- ☆13Jun 10, 2021Updated 4 years ago
- ☆16Oct 23, 2023Updated 2 years ago
- A Java library for checkers to be used in problems for programming competitions.☆14Apr 12, 2022Updated 4 years ago
- Haskell homework tests☆31Feb 7, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- Coding Theory course at ITMO University☆13Dec 9, 2022Updated 3 years ago
- ☆28Feb 18, 2026Updated 2 months ago
- Self-guided tutorial on combinatorial optimization, the bin packing problem, and constructive heuristics, suitable for use as course assi…☆12Mar 30, 2026Updated last month
- IDE for IEC 61499 built on top of JetBrains MPS☆23Oct 23, 2025Updated 6 months ago
- Source code from classes at ITMO University☆11Oct 26, 2021Updated 4 years ago
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- My personal website☆12Oct 10, 2025Updated 6 months ago
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Framework for testing time-dependent functionality☆35Feb 13, 2018Updated 8 years ago
- Simple reflection of expressions☆34Jun 18, 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
- ☆10Jun 12, 2022Updated 3 years ago
- ☆16Jun 22, 2024Updated last year
- Check cross-references in repository documents☆57Dec 19, 2025Updated 4 months ago
- Monad Transformers and Classes☆76Jun 25, 2019Updated 6 years ago