Коммиты
Создано коммитов за предыдущий месяц
Разработчики
Количество участников репозитория за весь срок
Форки
Форки репозитория за весь срок
Активность разработчиков
Изменения
Используемые языки
Verilog
88,3%
Coq
11,7%
Все инструменты для разработки на одной платформе
Для полного доступа зарегистрируйтесь или авторизуйтесь на GitVerse
