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.

• birshert / HSE-differential-equations

  View on GitHub
  HSE AMI course of differential equations
  ☆10Jun 17, 2019Updated 6 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
• isadrtdinov / bootcamp-idao-2022

  View on GitHub
  IDAO 2022: Machine Learning Bootcamp
  ☆19Dec 4, 2021Updated 4 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
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• 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
  😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ
  ☆91Apr 23, 2022Updated 4 years ago
• osukhoroslov / dslib

  View on GitHub
  ☆10Oct 16, 2022Updated 3 years ago
• bumshmyak / algocourse

  View on GitHub
  Course on algorithms at MEPhI
  ☆17Jan 22, 2013Updated 13 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
• hseapp / HSECore-Android

  View on GitHub
  ☆14Oct 13, 2022Updated 3 years ago
• tim-ecoder / K12KB

  View on GitHub
  ☆13Updated this week
• KernelA / xelatex-gost-bac

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

  View on GitHub
  Labs for Operating Systems course at HSE
  ☆78Apr 14, 2021Updated 5 years ago
• 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.
• 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 5 years ago
• buzden / deptycheck

  View on GitHub
  Facilities for generating dependently-typed data
  ☆30Apr 22, 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 2 months ago
• kosmonautdnb / WatcomLibs

  View on GitHub
  Some useful libraries converted to WatcomC++.
  ☆22Apr 21, 2026Updated last week
• mbuzina / synofoto-export

  View on GitHub
  Script to export Synology Photo Metadata to file for further use
  ☆14Feb 14, 2022Updated 4 years ago
• MakArtKar / algos_lectures

  View on GitHub
  Here you can find HSE algo lectures 2019
  ☆14Jun 9, 2020Updated 5 years ago
• nzeemin / ukncbtl-wasm

  View on GitHub
  UKNCBTL emulator as WebAssembly.
  ☆14Feb 2, 2026Updated 3 months ago
• ADKosm / lsml-2022-public

  View on GitHub
  Materials for LSML 2022
  ☆17Mar 26, 2022Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• WangHanLinHenry / STeCa

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

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

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

  View on GitHub
  ☆20Mar 15, 2025Updated last year
• 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 🇷🇺
  ☆450Mar 18, 2024Updated 2 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
• gnefedev / kotlin-js-react

  View on GitHub
  ☆10Nov 11, 2018Updated 7 years ago
• tenstorrent / sfpi

  View on GitHub
  ☆13Updated this week
• 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.
• hse-ds / iad-intro-ds

  View on GitHub
  ☆243Apr 22, 2026Updated last week
• Kirili4ik / kws-attention-pytorch

  View on GitHub
  Keyword spotting for audio with attention (KWS model for audio)
  ☆18Jul 15, 2021Updated 4 years ago
• danlark1 / hse_missing_cs_education

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

  View on GitHub
  An LSM database turned a CRDT database. Really fast counters!
  ☆17Jan 16, 2025Updated last year
• ischurov / qqmbr

  View on GitHub
  Mathematical layout for web and paper
  ☆48Sep 17, 2022Updated 3 years ago
• rbtsv / Bad-Python-tread

  View on GitHub
  ☆16May 20, 2023Updated 2 years ago