+ semantic tags

Church-of-Church-HSE · Oct 7, 2024 · faa5139 · faa5139
1 parent ca46077
commit faa5139
Show file tree

Hide file tree

Showing 11 changed files with 23 additions and 0 deletions.
diff --git a/docs/projects/catcomp.md b/docs/projects/catcomp.md
@@ -2,6 +2,7 @@
 tags:
   - КР 24/25
   - Исследовательский проект
+  - Теория категорий
 ---
 
 # Теоретико-категорный подход к компиляции и интерфейсу внешних функций

diff --git a/docs/projects/codeaswiki.md b/docs/projects/codeaswiki.md
@@ -3,6 +3,8 @@ tags:
   - КР 24/25
   - ВКР 24/25
   - Программный проект
+  - Грамотное программирование
+  - Системы сборки
 ---
 
 # Код как вики: гипертекстовое грамотное программирование

diff --git a/docs/projects/dependobuf.md b/docs/projects/dependobuf.md
@@ -3,6 +3,8 @@ tags:
   - КР 24/25
   - ВКР 24/25
   - Программный проект
+  - Системы сборки
+  - Компиляторы
 ---
 
 # DependoBuf: Протокол для сериализации структурированных данных с зависимыми типами

diff --git a/docs/projects/gc.md b/docs/projects/gc.md
@@ -2,6 +2,7 @@
 tags:
   - Проект 24/25
   - Программный проект
+  - Уборка мусора
 ---
 
 # Уборка мусора

diff --git a/docs/projects/graphcat.md b/docs/projects/graphcat.md
@@ -2,6 +2,8 @@
 tags:
   - ВКР 24/25
   - Программный проект
+  - Теория категорий
+  - Компиляторы
 ---
 
 # Язык для графического программирования на основе теории категорий

diff --git a/docs/projects/hitgc.md b/docs/projects/hitgc.md
@@ -2,6 +2,8 @@
 tags:
   - ВКР 24/25
   - Исследовательский проект
+  - Уборка мусора
+  - Теория типов
 ---
 
 # Уборка мусора для высших индуктивных типов

diff --git a/docs/projects/mlgc.md b/docs/projects/mlgc.md
@@ -2,6 +2,8 @@
 tags:
   - ВКР 24/25
   - Исследовательский проект
+  - Уборка мусора
+  - Машинное обучение
 ---
 
 # Машинное обучение в задаче уборки мусора

diff --git a/docs/projects/parsergen.md b/docs/projects/parsergen.md
@@ -2,6 +2,7 @@
 tags:
   - Проект 24/25
   - Программный проект
+  - Парсеры
 ---
 
 # Генераторы парсеров

diff --git a/docs/projects/sanskrit.md b/docs/projects/sanskrit.md
@@ -2,6 +2,12 @@
 tags:
   - ВКР 24/25
   - Программный проект
+  - Компиляторы
+  - Системы сборки
+  - Грамотное программирование
+  - zkSNARK
+  - Теория типов
+  - Языковые сервера
 ---
 
 # Sanskrit: Язык для верифицированных научных вычислений

diff --git a/docs/projects/twelf.md b/docs/projects/twelf.md
@@ -2,6 +2,9 @@
 tags:
   - ВКР 24/25
   - Программный проект
+  - Языковые сервера
+  - Компиляторы
+  - Теория типов
 ---
 
 # Языковой сервер для Twelf

diff --git a/docs/projects/zksnark.md b/docs/projects/zksnark.md
@@ -4,6 +4,7 @@ tags:
   - ВКР 24/25
   - Исследовательский проект
   - Программный проект
+  - zkSNARK
 ---
 
 # Проект по zkSNARK