Software using the BSD license

Вики

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

/

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

Вики

Тор (сеть)

/

Tor (сеть) История и развитие Tor Tor был создан в 2002 году для анонимного использования интернета.  Tor использует многоуровневую систему

Вики

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

/

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 году. 

Прокрутить вверх