Software environment for mathematical lectures writing.
☆25Oct 29, 2023Updated 3 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
- HSE AMI course of differential equations☆10Jun 17, 2019Updated 7 years ago
- ☆11Aug 22, 2021Updated 5 years ago
- Experimental validation mini-framework☆11Nov 16, 2021Updated 4 years ago
- Useful things collected over time☆11Aug 21, 2020Updated 6 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.
- Linear Algebra Course being taught in HSE in 2020/2021 (in russian)☆34Apr 25, 2022Updated 4 years ago
- Emulator of basic computer (ITMO)☆23Dec 9, 2022Updated 3 years ago
- Rust-ADB is a Rust implementation of the Android Debug Bridge (ADB) library. It provides a convenient and platform-independent way to int…☆15Sep 29, 2025Updated last year
- Labs for Operating Systems course at HSE☆80Apr 14, 2021Updated 5 years ago
- Broadlink learn command helper.☆11Mar 3, 2023Updated 3 years ago
- Playing with Kotlin, MVVM, and Movie DB☆15Oct 16, 2021Updated 5 years ago
- ☆21Mar 15, 2025Updated last year
- Шаблон для оформления ВКР бакалавра или магистерской диссертации в XeLaTeX.☆17Jul 27, 2025Updated last year
- Transformer-based approaches for an efficient docstrings generation on a piece of Python's code.☆17Feb 16, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Here you can find HSE algo lectures 2019☆14Jun 9, 2020Updated 6 years ago
- Introductory textbook on Ordinary Differential Equations (in Russian)☆36Nov 15, 2022Updated 3 years ago
- Framework for probing tasks☆31Mar 24, 2024Updated 2 years ago
- Minimal example of using Tenstorrent TTNN in C++☆14Apr 12, 2025Updated last year
- [DEPRECATED] Moved to ROCm/rocm-libraries repo☆13Oct 22, 2026Updated last week
- Helm Charts for RisingWave☆24Oct 12, 2026Updated 2 weeks ago
- Game engine made with Vulkan☆10Jan 22, 2026Updated 9 months ago
- Articles and cheat sheets for web development☆23May 3, 2023Updated 3 years ago
- ☆11Dec 17, 2021Updated 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.
- ☆21May 30, 2022Updated 4 years ago
- Все лабораторные работы по предметам за 1-4 курс на направлении СППО в Университете ИТМО☆21Feb 28, 2024Updated 2 years ago
- ☆21Jan 6, 2026Updated 9 months ago
- ☆19Sep 23, 2026Updated last month
- Userscripts published at Greasy Fork☆12Jul 6, 2026Updated 3 months ago
- Modify Android app’s resources at runtime with self-targeting overlay☆18Nov 11, 2025Updated 11 months ago
- A toy C++ project to demo C++ development on the command line using Neovim - Watch the talk here https://www.youtube.com/watch?v=nzRnWUjG…☆15Sep 15, 2022Updated 4 years ago
- Experimental implementation of OpenCL over Metal☆12Jul 20, 2022Updated 4 years ago
- A collection of processing tools for reacting flow simulations with AMReX-based CFD tools.☆16Oct 14, 2026Updated 2 weeks 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.
- An opentelemetry receiver that generates configurable metrics & traces to emulate live services☆18Sep 13, 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 3 years ago
- modern and friendly Bash-compatible shell runtime☆32Updated this week
- 🌎 Simple, minimalist yet modern map style☆43Aug 14, 2024Updated 2 years ago
- A Vulkan renderer running on macOS M1 chip☆16Mar 28, 2023Updated 3 years ago
- Daily journaling for hackers☆12Apr 25, 2022Updated 4 years ago
- Forum for AMD OpenGL and Vulkan graphics drivers☆18May 23, 2024Updated 2 years ago