damoldavskiy/LexType external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

damoldavskiy/LexType

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/damoldavskiy/LexType)

Close

damoldavskiy / LexTypeView on GitHubMore

• External links
• Readme badge

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.

• Sofiika / AlgebraKollok

  View on GitHub
  Теория к коллоквиуму
  ☆33Nov 12, 2021Updated 4 years ago
• morell5 / HSE-Course

  View on GitHub
  ☆11Aug 22, 2021Updated 4 years ago
• hse-tex / hse-tex

  View on GitHub
  HSE materials
  ☆145Dec 1, 2025Updated 5 months ago
• TheSeems / ClinQ

  View on GitHub
  Experimental validation mini-framework
  ☆12Nov 16, 2021Updated 4 years ago
• isadrtdinov / bootcamp-idao-2022

  View on GitHub
  IDAO 2022: Machine Learning Bootcamp
  ☆19Dec 4, 2021Updated 4 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• JetBrains / JetBrains.EnvDTE

  View on GitHub
  ☆18May 13, 2026Updated last week
• alzobnin / hse-cs-prog

  View on GitHub
  ☆31Feb 6, 2020Updated 6 years ago
• rwlist / ovpn-bot

  View on GitHub
  Simple telegram bot for automatic OpenVPN configuration
  ☆11Mar 18, 2022Updated 4 years ago
• fenestron / easy-pi

  View on GitHub
  😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ
  ☆92Apr 23, 2022Updated 4 years ago
• bumshmyak / algocourse

  View on GitHub
  Course on algorithms at MEPhI
  ☆17Jan 22, 2013Updated 13 years ago
• AppLoidx / bcomp-extended

  View on GitHub
  Emulator of basic computer (ITMO)
  ☆23Dec 9, 2022Updated 3 years ago
• NelosG / ITMO-KT

  View on GitHub
  Homework and labs completed as part of education in ITMO university.
  ☆12Mar 20, 2023Updated 3 years ago
• BeatLeader / BS-Open-Replay

  View on GitHub
  Beat Saber open replay format
  ☆24Mar 9, 2025Updated last year
• Danielku15 / GhostAWT

  View on GitHub
  Run Java Swing/AWT applications on headless environments
  ☆16Jul 18, 2021Updated 4 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• KernelA / xelatex-gost-bac

  View on GitHub
  Шаблон для оформления ВКР бакалавра или магистерской диссертации в XeLaTeX.
  ☆16Jul 27, 2025Updated 9 months ago
• kosmonautdnb / WatcomLibs

  View on GitHub
  Some useful libraries converted to WatcomC++.
  ☆23May 7, 2026Updated 2 weeks ago
• sailor-green / Kython

  View on GitHub
  Kotlin/JVM Python interpreter
  ☆19Mar 31, 2020Updated 6 years ago
• nzeemin / ukncbtl-wasm

  View on GitHub
  UKNCBTL emulator as WebAssembly.
  ☆14Feb 2, 2026Updated 3 months ago
• coinpaprika / coinpaprika-api-python-client

  View on GitHub
  This library provides convenient way to use Coinpaprika.com API in Python.
  ☆18May 11, 2026Updated last week
• WangHanLinHenry / STeCa

  View on GitHub
  (ACL2025 Findings) Official code for the paper "STeCa: Step-level Trajectory Calibration for LLM Agent Learning"
  ☆27Mar 2, 2026Updated 2 months ago
• spok176 / SHENZHEN-I-O-RUS

  View on GitHub
  Руссификатор для игры SHENZHEN I/O
  ☆13May 12, 2019Updated 7 years ago
• ivk1800 / Riflesso

  View on GitHub
  Riflesso is a plugin for IntelliJ IDEA that provides real-time visualization of Jetpack Compose recompositions.
  ☆40Feb 14, 2026Updated 3 months ago
• SaschaWillems / VulkanTemplate2D

  View on GitHub
  Testing a light Vulkan 1.3 abstraction for 2D games
  ☆11May 16, 2026Updated last week
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• IronLynx / maze4d

  View on GitHub
  First person four-dimensional maze game
  ☆38Apr 11, 2021Updated 5 years ago
• jeffbolznv / vk_cooperative_vector_perf

  View on GitHub
  Sample benchmark demonstrating the VK_NV_cooperative_vector extension
  ☆15Dec 22, 2025Updated 5 months ago
• osukhoroslov / dslab

  View on GitHub
  ☆20Mar 15, 2025Updated last year
• mrhakimov / russian-internships

  View on GitHub
  IT internships in Russia 🇷🇺
  ☆450Mar 18, 2024Updated 2 years ago
• thoughtpolice / dynasm-example

  View on GitHub
  example of the DynASM library
  ☆22Jul 11, 2011Updated 14 years ago
• kitaisreal / db-course-hse

  View on GitHub
  db-course-hse
  ☆29Mar 28, 2023Updated 3 years ago
• xiamengzhou / training_trajectory_analysis

  View on GitHub
  [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf
  ☆25Nov 14, 2023Updated 2 years ago
• kshkn / lyrics

  View on GitHub
  тексты песен юли кошкиной
  ☆30Feb 14, 2026Updated 3 months ago
• samplec0de / eljur-bot

  View on GitHub
  Бот для телеграм, позволяющий получать функционал электронного дневника eljur.ru
  ☆13Jun 19, 2020Updated 5 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• tenstorrent / sfpi

  View on GitHub
  ☆13Updated this week
• gnefedev / kotlin-js-react

  View on GitHub
  ☆10Nov 11, 2018Updated 7 years ago
• vladikoff / cubeslam-mirror

  View on GitHub
  🔲 Unofficial mirror of the cubeslam project at https://code.google.com/p/cubeslam/
  ☆32Jun 14, 2013Updated 12 years ago
• danlark1 / hse_missing_cs_education

  View on GitHub
  Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики
  ☆414May 16, 2022Updated 4 years ago
• olliwang / moui-nanovg-example

  View on GitHub
  Runs NanoVG demo with moui.
  ☆14Aug 10, 2020Updated 5 years ago
• HighwayStar / android_kernel_nubia_msm8976

  View on GitHub
  WIP kernel for Nubia Z17 mini NX569J NX569H, Z17 mini S NX589 and Z17 Lite NX591
  ☆16Mar 17, 2019Updated 7 years ago
• RussianNLP / RuSentEval

  View on GitHub
  Probing suite for evaluation of Russian embedding and language models
  ☆33Oct 1, 2024Updated last year