использующее лицензию BSD

Вики

ROSE (фреймворк компилятора)

/

ROSE (фреймворк компилятора) Обзор платформы ROSE compiler framework ROSE – это инфраструктура компилятора с открытым исходным кодом, разработанная LLNL.  Она […]

Вики

Идрис (язык программирования)

/

Idris (язык программирования) Обзор языка программирования Idris Idris – функциональный язык программирования с зависимыми типами и отложенным вычислением.  Разработан как

Вики

Вампир (обеспечивает теорема)

/

Вампир (доказательство теоремы) Обзор Vampire Vampire – это автоматическое средство доказательства теорем для классической логики первого порядка.  Разработано на факультете

Вики

HOL (помощник по проверке)

/

HOL (ассистент по корректуре) Основы HOL HOL – семейство интерактивных систем доказательства теорем на основе логики высшего порядка.  Системы HOL

Вики

ACL2

/

ACL2 Обзор ACL2 ACL2 – это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной

Вики

TextEdit

/

Текстправить История и архитектура Переход на процессоры Intel и яблочный кремний  Встроенные приложения и список приложений  Список игр, включая Rhapsody,

Вики

OpenEXR

/

OpenEXR Открыть Обзор формата OpenEXR OpenEXR – это формат растровых файлов с высоким динамическим диапазоном, разработанный ILM.  Поддерживает несколько каналов

Вики

ВавПак

/

Волновой пакет Обзор формата WavPack WavPack – это формат сжатия аудио без потерь, разработанный для аудиофайлов с битрейтом до 320

Вики

ШЕЛК

/

шелк Обзор SILK SILK – это формат сжатия звука, разработанный Skype Limited, дочерней компанией Microsoft.  Он был создан для замены

Вики

Ворбис

/

Ворбис История и развитие формата OGG OGG – это формат аудиофайлов, разработанный Xiph.Org Foundation в 1999 году.  Формат OGG был

Вики

Теория

/

Теора История и развитие Theora Theora была разработана On2 Technologies в 2001 году как альтернатива кодеку H.263.  Theora стала популярным

Вики

Карри (язык программирования)

/

Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений.  Вычисления заменяют подвыражения

Вики

Открытый MPI

/

Открыть MPI Обзор Open MPI Open MPI объединяет технологии из нескольких проектов MPI, включая FT-MPI, LA-MPI, LAM/MPI и PACX-MPI.  Используется

Вики

ВТК

/

ВТК Обзор VTK VTK – это свободная система для 3D-графики и визуализации, разработанная командой Kitware.  Она распространяется под лицензией BSD

Вики

Контики

/

Продолжение Обзор операционной системы Contiki Contiki – это ОС для IoT с ограниченным объемом памяти.  Используется в системах уличного освещения,

Вики

tcpdump

/

Tcpdump – Сброс данных Обзор программы tcpdump tcpdump – это инструмент для анализа сетевых пакетов, который работает через командную строку. 

Вики

ПКАП

/

Пкап Обзор библиотеки pcap pcap – это библиотека для захвата и анализа сетевых пакетов, разработанная для Unix-подобных систем.  Она предоставляет

Вики

Зик

/

Зик Обзор платформы Zeek Zeek – это бесплатная платформа для сетевого анализа с открытым исходным кодом, разработанная в 1995 году. 

Вики

Метасплоит

/

Метаэксплуатация Обзор проекта Metasploit Metasploit – проект в области компьютерной безопасности, предоставляющий информацию об уязвимостях и инструменты для тестирования на