Теория языков программирования на ФКН¶
Тэги¶
zkSNARK¶
ВКР 24/25¶
- Код как вики: гипертекстовое грамотное программирование
- DependoBuf: Протокол для сериализации структурированных данных с зависимыми типами
- Язык для графического программирования на основе теории категорий
- Уборка мусора для высших индуктивных типов
- Машинное обучение в задаче уборки мусора
- Sanskrit: Язык для верифицированных научных вычислений
- Языковой сервер для Twelf
- Проект по zkSNARK
Грамотное программирование¶
- Код как вики: гипертекстовое грамотное программирование
- Sanskrit: Язык для верифицированных научных вычислений
Инициативный¶
Исследовательский проект¶
- Теоретико-категорный подход к компиляции и интерфейсу внешних функций
- Уборка мусора для высших индуктивных типов
- Машинное обучение в задаче уборки мусора
- Проект по zkSNARK
КР 24/25¶
- Теоретико-категорный подход к компиляции и интерфейсу внешних функций
- Код как вики: гипертекстовое грамотное программирование
- DependoBuf: Протокол для сериализации структурированных данных с зависимыми типами
- Проект по zkSNARK
Компиляторы¶
- DependoBuf: Протокол для сериализации структурированных данных с зависимыми типами
- Язык для графического программирования на основе теории категорий
- Sanskrit: Язык для верифицированных научных вычислений
- Языковой сервер для Twelf
Машинное обучение¶
Парсеры¶
Программный проект¶
- Тестовое задание для программных проектов
- Код как вики: гипертекстовое грамотное программирование
- DependoBuf: Протокол для сериализации структурированных данных с зависимыми типами
- Уборка мусора
- Язык для графического программирования на основе теории категорий
- Research plugin для direct-style вычислений в Scala с Kyo
- Генераторы парсеров
- Sanskrit: Язык для верифицированных научных вычислений
- Языковой сервер для Twelf
- Проект по zkSNARK
Проект 24/25¶
Системы сборки¶
- Код как вики: гипертекстовое грамотное программирование
- DependoBuf: Протокол для сериализации структурированных данных с зависимыми типами
- Sanskrit: Язык для верифицированных научных вычислений
Системы эффектов¶
Теория категорий¶
- Теоретико-категорный подход к компиляции и интерфейсу внешних функций
- Язык для графического программирования на основе теории категорий
Теория типов¶
- Уборка мусора для высших индуктивных типов
- Sanskrit: Язык для верифицированных научных вычислений
- Языковой сервер для Twelf