Software environment for mathematical lectures writing.
☆25Oct 29, 2023Updated 2 years ago
Alternatives and similar repositories for LexType
Users that are interested in LexType are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Nov 18, 2024Updated last year
- Теория к коллоквиуму☆33Nov 12, 2021Updated 4 years ago
- ☆11Aug 22, 2021Updated 5 years ago
- Experimental validation mini-framework☆11Nov 16, 2021Updated 4 years ago
- HSE materials☆145Dec 1, 2025Updated 9 months 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.
- Simple telegram bot for automatic OpenVPN configuration☆11Mar 18, 2022Updated 4 years ago
- Библиотека для анализа городских событий☆19Nov 6, 2025Updated 10 months ago
- Платформа для быстрого оформления списков литературы и поиска источников для научных и учебных работ.☆10Oct 4, 2023Updated 2 years ago
- 😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ☆97Apr 23, 2022Updated 4 years ago
- Emulator of basic computer (ITMO)☆23Dec 9, 2022Updated 3 years ago
- Playing with Kotlin, MVVM, and Movie DB☆15Oct 16, 2021Updated 4 years ago
- A curated collection of links to videos, articles, and other materials for game developers.☆25Sep 6, 2026Updated 2 weeks ago
- Beat Saber open replay format☆24Mar 9, 2025Updated last year
- Labs for Operating Systems course at HSE☆81Apr 14, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Шаблон для оформления ВКР бакалавра или магистерской диссертации в XeLaTeX.☆16Jul 27, 2025Updated last year
- Another approach to animated splash screen on Android☆12Apr 26, 2021Updated 5 years ago
- Конспекты для подготовки к экзамену по курсу Непрерывная оптимизация 2020 для специализации МОП ПМИ ФКН ВШЭ.☆11Jun 26, 2020Updated 6 years ago
- Here you can find HSE algo lectures 2019☆14Jun 9, 2020Updated 6 years ago
- Script to export Synology Photo Metadata to file for further use☆16Feb 14, 2022Updated 4 years ago
- Helm for SLY☆15Feb 5, 2021Updated 5 years ago
- Testing a light Vulkan 1.3 abstraction for 2D games☆12May 16, 2026Updated 4 months ago
- IT internships in Russia 🇷🇺☆451Mar 18, 2024Updated 2 years ago
- Framework for probing tasks☆31Mar 24, 2024Updated 2 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.
- Бот для телеграм, позволяющий получать функционал электронного дневника eljur.ru☆13Jun 19, 2020Updated 6 years ago
- [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf☆25Nov 14, 2023Updated 2 years ago
- Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики☆413May 16, 2022Updated 4 years ago
- Helm Charts for RisingWave☆24Updated this week
- WIP kernel for Nubia Z17 mini NX569J NX569H, Z17 mini S NX589 and Z17 Lite NX591☆17Mar 17, 2019Updated 7 years ago
- Runs NanoVG demo with moui.☆14Aug 10, 2020Updated 6 years ago
- ☆21May 30, 2022Updated 4 years ago
- Probing suite for evaluation of Russian embedding and language models☆32Oct 1, 2024Updated last year
- ☆11Dec 17, 2021Updated 4 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.
- Modify Android app’s resources at runtime with self-targeting overlay☆18Nov 11, 2025Updated 10 months ago
- Articles and cheat sheets for web development☆24May 3, 2023Updated 3 years ago
- Curated list of awesome fucks☆17Jun 5, 2018Updated 8 years ago
- Все лабораторные работы по предметам за 1-4 курс на направлении СППО в Университете ИТМО☆21Feb 28, 2024Updated 2 years ago
- Kotlin library that simplifies working with Telegram's Type Language (TL) by providing seamless integration with kotlinx.serialization. I…☆16Oct 12, 2023Updated 2 years ago
- [ACL 2024] TaxoLLaMA: WordNet-based Model for Solving Multiple Lexical Sematic Tasks☆20May 16, 2024Updated 2 years ago
- Monitoring OpenStreetMap with Datadog☆12Dec 7, 2025Updated 9 months ago