ryukzak / nittaLinks
☆22Updated 2 months ago
Alternatives and similar repositories for nitta
Users that are interested in nitta are comparing it to the libraries listed below
Sorting:
- ☆10Updated 2 months ago
- Что читать о разработке компиляторов☆530Updated 6 months ago
- ☆38Updated 3 years ago
- Bring colorful and funny Jumoreski into your workspace!☆16Updated last year
- lecture notes☆29Updated 3 years ago
- Latex шаблон текста для квалификационных работ☆41Updated 3 months ago
- Self-implemented persistent RAG-storage.☆14Updated 2 months ago
- ☆18Updated 4 years ago
- Haskell homework tests☆31Updated 3 years ago
- Yatool is a cross-platform distribution, building, testing, and debugging toolkit focused on monorepositories☆193Updated this week
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Updated 7 years ago
- ☆109Updated 6 years ago
- Конспекты курса архитектуры ЭВМ, ИТМО☆43Updated 5 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)☆52Updated 4 months ago
- LaTeX styles for different purposes.☆107Updated 2 years ago
- ITMO/CTD notes, y2013 🇺🇦☆71Updated 6 years ago
- ☆10Updated 3 years ago
- JIT-ускоритель программ на языке Python☆33Updated 3 years ago
- ☆15Updated 2 years ago
- ( a fundamentally new programming language )>🐓☆512Updated last year
- Sources for Russian articles on Algorithmica.org☆91Updated 2 years ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА☆81Updated 8 months ago
- Docker Registry fork used for huecker.io☆370Updated last year
- ☆43Updated 5 months ago
- Notes for type theory course☆21Updated 6 years ago
- graphs-graph-10 created by GitHub Classroom☆19Updated last year
- ☆65Updated last week
- Конспекты М3*37 2019 года☆78Updated this week
- Компилятор Рефала-5λ☆87Updated 3 months ago