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 4 years ago
- HSE materials☆146Dec 1, 2025Updated 7 months ago
- Course on algorithms at MEPhI☆17Jan 22, 2013Updated 13 years 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.
- ☆10Oct 16, 2022Updated 3 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
- Python framework for artificial text detection: NLP approaches to compare natural text against generated by neural networks.☆16Sep 5, 2023Updated 2 years ago
- ☆21Mar 15, 2025Updated last year
- 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
- Materials for LSML 2022☆17Mar 26, 2022Updated 4 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This library provides convenient way to use Coinpaprika.com API in Python.☆18Jul 2, 2026Updated 2 weeks ago
- Testing a light Vulkan 1.3 abstraction for 2D games☆11May 16, 2026Updated 2 months ago
- IT internships in Russia 🇷🇺☆449Mar 18, 2024Updated 2 years ago
- Framework for probing tasks☆31Mar 24, 2024Updated 2 years ago
- Бот для телеграм, позволяющий получать функционал электронного дневника eljur.ru☆13Jun 19, 2020Updated 6 years ago
- тексты песен юли кошкиной☆30Feb 14, 2026Updated 5 months ago
- general framework for creating robots, worms, and backdoors☆11Nov 13, 2017Updated 8 years ago
- ☆14Updated this week
- ~/.☆11Mar 15, 2015Updated 11 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.
- [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf☆25Nov 14, 2023Updated 2 years ago
- Helm Charts for RisingWave☆24Jul 1, 2026Updated 3 weeks ago
- ☆16Apr 27, 2026Updated 2 months ago
- ☆21Jan 6, 2026Updated 6 months ago
- WIP kernel for Nubia Z17 mini NX569J NX569H, Z17 mini S NX589 and Z17 Lite NX591☆16Mar 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 5 years ago
- ☆21May 30, 2022Updated 4 years ago
- An LSM database turned a CRDT database. Really fast counters!☆17Jan 16, 2025Updated last year
- 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.
- Probing suite for evaluation of Russian embedding and language models☆32Oct 1, 2024Updated last year
- ☆11Dec 17, 2021Updated 4 years ago
- MysoreScript is a simple JavaScript-like language intended for teaching about compilers for late-bound dynamic languages.☆14Dec 1, 2017Updated 8 years ago
- Brave personal data store vault.☆19Nov 22, 2016Updated 9 years ago
- Curated list of awesome fucks☆16Jun 5, 2018Updated 8 years ago
- Все лабораторные работы по предметам за 1-4 курс на направлении СППО в Университете ИТМО☆19Feb 28, 2024Updated 2 years ago
- OS for the SDA project☆17Updated this week