We’ve compiled all the most popular repositories that were trending during the day, week, or month on GitHub in one place and prepared a brief description for each of them.
Language: Yacc , Stars: 34
------------
Проект предназначен для создания парсера языка программирования Agda. Он решает задачи синтаксического анализа и обработки кода, обеспечивая поддержку выделения синтаксиса и интеграцию с редакторами. Ключевые особенности включают быстрое и точное построение абстрактного синтаксического дерева, а также возможность работы с изменениями в коде в реальном времени.