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
• aerooneqq / IntelligentComments

  View on GitHub
  ☆13Nov 18, 2024Updated last year
• birshert / HSE-differential-equations

  View on GitHub
  HSE AMI course of differential equations
  ☆10Jun 17, 2019Updated 7 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 7 months ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• 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
• Sandrro / SOIKA

  View on GitHub
  Библиотека для анализа городских событий
  ☆19Nov 6, 2025Updated 7 months ago
• ethanmdavidson / KotlinJSWebWorkerDemo

  View on GitHub
  A simple demo that shows how WebWorkers can be used in Kotlin/JS
  ☆10May 21, 2021Updated 5 years ago
• DimaTrushin / LinearAlgebra2020-2021

  View on GitHub
  Linear Algebra Course being taught in HSE in 2020/2021 (in russian)
  ☆32Apr 25, 2022Updated 4 years ago
• 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
  😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ
  ☆93Apr 23, 2022Updated 4 years ago
• osukhoroslov / dslib

  View on GitHub
  ☆10Oct 16, 2022Updated 3 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• 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
• KernelA / xelatex-gost-bac

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

  View on GitHub
  Labs for Operating Systems course at HSE
  ☆80Apr 14, 2021Updated 5 years ago
• aednlaxer / android-splash-screen-to-content-with-animation

  View on GitHub
  Another approach to animated splash screen on Android
  ☆12Apr 26, 2021Updated 5 years ago
• birshert / HSE-optimization-exam

  View on GitHub
  Конспекты для подготовки к экзамену по курсу Непрерывная оптимизация 2020 для специализации МОП ПМИ ФКН ВШЭ.
  ☆11Jun 26, 2020Updated 6 years ago
• buzden / deptycheck

  View on GitHub
  Facilities for generating dependently-typed data
  ☆30Jun 23, 2026Updated last week
• martysai / source-code-summarization

  View on GitHub
  Transformer-based approaches for an efficient docstrings generation on a piece of Python's code.
  ☆17Feb 16, 2026Updated 4 months ago
• kosmonautdnb / WatcomLibs

  View on GitHub
  Some useful libraries converted to WatcomC++.
  ☆23Updated this 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.
• mbuzina / synofoto-export

  View on GitHub
  Script to export Synology Photo Metadata to file for further use
  ☆16Feb 14, 2022Updated 4 years ago
• nzeemin / ukncbtl-wasm

  View on GitHub
  UKNCBTL emulator as WebAssembly.
  ☆14Feb 2, 2026Updated 5 months ago
• SaschaWillems / VulkanTemplate2D

  View on GitHub
  Testing a light Vulkan 1.3 abstraction for 2D games
  ☆11May 16, 2026Updated last month
• jeffbolznv / vk_cooperative_vector_perf

  View on GitHub
  Sample benchmark demonstrating the VK_NV_cooperative_vector extension
  ☆15Dec 22, 2025Updated 6 months ago
• kgryte / tex-equation-to-svg

  View on GitHub
  Convert a TeX or LaTeX string to an SVG.
  ☆36Sep 7, 2017Updated 8 years ago
• mrhakimov / russian-internships

  View on GitHub
  IT internships in Russia 🇷🇺
  ☆449Mar 18, 2024Updated 2 years ago
• kshkn / lyrics

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

  View on GitHub
  Бот для телеграм, позволяющий получать функционал электронного дневника eljur.ru
  ☆13Jun 19, 2020Updated 6 years ago
• NARKOZ / dotfiles

  View on GitHub
  ~/.
  ☆11Mar 15, 2015Updated 11 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• danlark1 / hse_missing_cs_education

  View on GitHub
  Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики
  ☆415May 16, 2022Updated 4 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
• ischurov / qqmbr

  View on GitHub
  Mathematical layout for web and paper
  ☆48Sep 17, 2022Updated 3 years ago
• AntonShvets0 / Jubi

  View on GitHub
  ☆12Dec 16, 2021Updated 4 years ago
• stanislavbrtna / SDA_OS

  View on GitHub
  OS for the SDA project
  ☆19Jun 21, 2026Updated last week
• alexwennerberg / crabmail

  View on GitHub
  a static html and gemini mail archive for the 21st century, written in Rust
  ☆29Aug 15, 2024Updated last year
• johanmorganti / osm-datadog

  View on GitHub
  Monitoring OpenStreetMap with Datadog
  ☆12Dec 7, 2025Updated 6 months ago