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
- ☆11Aug 22, 2021Updated 5 years ago
- HSE AMI course of differential equations☆10Jun 17, 2019Updated 7 years ago
- Experimental validation mini-framework☆11Nov 16, 2021Updated 4 years ago
- IDAO 2022: Machine Learning Bootcamp☆19Dec 4, 2021Updated 4 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.
- ☆18Updated this week
- ☆31Feb 6, 2020Updated 6 years ago
- This a python code for calculate the overlap between predict bounding box and ground truth bounding box.☆19Jul 19, 2019Updated 7 years ago
- Платформа для быстрого оформления списков литературы и поиска источников для научных и учебных работ.☆10Oct 4, 2023Updated 3 years ago
- 😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ☆97Apr 23, 2022Updated 4 years ago
- Emulator of basic computer (ITMO)☆23Dec 9, 2022Updated 3 years ago
- Homework and labs completed as part of education in ITMO university.☆12Mar 20, 2023Updated 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.☆25Oct 4, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Labs for Operating Systems course at HSE☆81Apr 14, 2021Updated 5 years ago
- Шаблон для оформления ВКР бакалавра или магистерской диссертации в XeLaTeX.☆17Jul 27, 2025Updated last year
- Another approach to animated splash screen on Android☆12Apr 26, 2021Updated 5 years ago
- ☆21Mar 15, 2025Updated last year
- Facilities for generating dependently-typed data☆34Updated this week
- A tool for making AB tests with Mixpanel API☆12Jan 25, 2019Updated 7 years ago
- UKNCBTL emulator as WebAssembly.☆14Feb 2, 2026Updated 8 months ago
- Руссификатор для игры SHENZHEN I/O☆13May 12, 2019Updated 7 years ago
- Materials for LSML 2022☆17Mar 26, 2022Updated 4 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.
- Helm for SLY☆15Feb 5, 2021Updated 5 years ago
- Introductory textbook on Ordinary Differential Equations (in Russian)☆36Nov 15, 2022Updated 3 years ago
- Testing a light Vulkan 1.3 abstraction for 2D games☆12May 16, 2026Updated 4 months ago
- IT internships in Russia 🇷🇺☆452Mar 18, 2024Updated 2 years ago
- Framework for probing tasks☆31Mar 24, 2024Updated 2 years ago
- Бот для телеграм, позволяющий получать функционал электронного дневника eljur.ru☆13Jun 19, 2020Updated 6 years ago
- тексты песен юли кошкиной☆30Oct 3, 2026Updated last week
- Web application that helps to find users with same nickname on different websites☆12Aug 22, 2024Updated 2 years ago
- db-course-hse☆29Mar 28, 2023Updated 3 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.
- ☆16Updated this week
- [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf☆25Nov 14, 2023Updated 2 years ago
- 🔲 Unofficial mirror of the cubeslam project at https://code.google.com/p/cubeslam/☆32Jun 14, 2013Updated 13 years ago
- WIP kernel for Nubia Z17 mini NX569J NX569H, Z17 mini S NX589 and Z17 Lite NX591☆17Mar 17, 2019Updated 7 years ago
- Keyword spotting for audio with attention (KWS model for audio)☆18Jul 15, 2021Updated 5 years ago
- Runs NanoVG demo with moui.☆14Aug 10, 2020Updated 6 years ago
- ☆21May 30, 2022Updated 4 years ago