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:
- Теория к коллоквиуму☆33Nov 12, 2021Updated 4 years ago
- ☆11Aug 22, 2021Updated 4 years ago
- HSE materials☆145Dec 1, 2025Updated 3 months ago
- 😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ☆91Apr 23, 2022Updated 3 years ago
- ☆10Oct 16, 2022Updated 3 years ago
- Course on algorithms at MEPhI☆17Jan 22, 2013Updated 13 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
- A tool for making AB tests with Mixpanel API☆12Jan 25, 2019Updated 7 years ago
- Facilities for generating dependently-typed data☆29Mar 12, 2026Updated last week
- Some useful libraries converted to WatcomC++.☆19Updated this week
- Script to export Synology Photo Metadata to file for further use☆14Feb 14, 2022Updated 4 years ago
- Here you can find HSE algo lectures 2019☆14Jun 9, 2020Updated 5 years ago
- Kotlin/JVM Python interpreter☆18Mar 31, 2020Updated 5 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- UKNCBTL emulator as WebAssembly.☆14Feb 2, 2026Updated last month
- ☆16Sep 4, 2023Updated 2 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
- (ACL2025 Findings) Official code for the paper "STeCa: Step-level Trajectory Calibration for LLM Agent Learning"☆26Mar 2, 2026Updated 3 weeks ago
- Testing a light Vulkan 1.3 abstraction for 2D games☆10Mar 7, 2026Updated 2 weeks ago
- Playing with Kotlin, MVVM, and Movie DB☆14Oct 16, 2021Updated 4 years ago
- ☆20Mar 15, 2025Updated last year
- Convert a TeX or LaTeX string to an SVG.☆36Sep 7, 2017Updated 8 years ago
- Web application that helps to find users with same nickname on different websites☆12Aug 22, 2024Updated last year
- general framework for creating robots, worms, and backdoors☆11Nov 13, 2017Updated 8 years ago
- db-course-hse☆28Mar 28, 2023Updated 2 years ago
- [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf☆25Nov 14, 2023Updated 2 years ago
- тексты песен юли кошкиной☆30Feb 14, 2026Updated last month
- 64pixels is a 2D logic gate melodic ASCII infinite multiplayer sandbox, for short.☆18Sep 2, 2022Updated 3 years ago
- Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики☆415May 16, 2022Updated 3 years ago
- WIP kernel for Nubia Z17 mini NX569J NX569H, Z17 mini S NX589 and Z17 Lite NX591☆16Mar 17, 2019Updated 7 years ago
- Curated list of awesome fucks☆16Jun 5, 2018Updated 7 years ago
- ☆21May 30, 2022Updated 3 years ago
- OS for the SDA project☆19Mar 14, 2026Updated last week
- [ACL 2024] TaxoLLaMA: WordNet-based Model for Solving Multiple Lexical Sematic Tasks☆19May 16, 2024Updated last year
- Implementations and demo of a regular Backdoor and a Latent backdoor attack on Deep Neural Networks.☆19Jul 9, 2022Updated 3 years ago
- ☆11Dec 17, 2021Updated 4 years ago
- [DEPRECATED] Moved to ROCm/rocm-libraries repo☆12Mar 2, 2026Updated 3 weeks 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 3 years ago