ROSE (фреймворк компилятора)
ROSE (фреймворк компилятора) Обзор платформы ROSE compiler framework ROSE — это инфраструктура компилятора с открытым исходным кодом, разработанная LLNL. Она […]
ROSE (фреймворк компилятора) Обзор платформы ROSE compiler framework ROSE — это инфраструктура компилятора с открытым исходным кодом, разработанная LLNL. Она […]
Tor (сеть) История и развитие Tor Tor был создан в 2002 году для анонимного использования интернета. Tor использует многоуровневую систему
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете
HOL (ассистент по корректуре) Основы HOL HOL — семейство интерактивных систем доказательства теорем на основе логики высшего порядка. Системы HOL
Панды (программное обеспечение) Обзор Pandas Pandas — это библиотека Python для обработки и анализа данных, основанная на NumPy. Она предоставляет
Красный (язык программирования) Обзор языка программирования Red Red был разработан для преодоления ограничений Rebol и представлен в 2011 году. Он
Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений. Вычисления заменяют подвыражения
Открыть MPI Обзор Open MPI Open MPI объединяет технологии из нескольких проектов MPI, включая FT-MPI, LA-MPI, LAM/MPI и PACX-MPI. Используется