GitHub repository: JetBrains-Research/formal-lang-course
Primary language: Python
Description: Курс по формальным языкам: шаблон для домашних работ + материалы