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: Isabelle , Stars: 538
------------
Проект направлен на создание высокоэффективной и безопасной микроядра для операционных систем. Основная цель — обеспечить надежную изоляцию процессов и защиту от уязвимостей. Задачи включают разработку формальных методов верификации для проверки корректности системных компонентов. Ключевые особенности — минималистичный дизайн, поддержка различных архитектур и возможность использования в критически важных приложениях.