написанное на C.

Вики

Выдра (поставщик теорем)

/

Выдра (доказательство теоремы) Описание Otter Otter — инструмент для доказательства теорем, разработанный в Аргоннской лаборатории.  Основан на разрешении и парамодуляции, […]

Вики

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

/

E (доказательство теоремы) Обзор системы E E — инструмент для доказательства теорем в полной логике первого порядка с равенством.  Основан

Вики

GIMP

/

GIMP Обзор GIMP GIMP — это бесплатное и открытое программное обеспечение для редактирования изображений.  GIMP был создан в 1995 году

Вики

ХММЕР

/

ХММЕР Обзор программного пакета HMMER HMMER — бесплатный инструмент для анализа последовательностей, разработанный Шоном Эдди.  Используется для идентификации гомологичных белков

Вики

ARToolKit

/

Набор инструментов Обзор ARToolKit ARToolKit — это библиотека для создания приложений дополненной реальности с открытым исходным кодом.  Она отслеживает положение

Вики

tcpdump

/

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

Вики

ПКАП

/

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

Вики

OpenSSL

/

OpenSSL открывает История и развитие OpenSSL OpenSSL — это проект с открытым исходным кодом, который предоставляет библиотеку для шифрования и

Вики

Lynx (веб-браузер)

/

Lynx (веб-браузер) История и развитие Lynx Lynx — это текстовый веб-браузер, разработанный в 1992 году для использования на терминалах с

Вики

Иллюмос

/

Иллюминос Обзор Illumos Illumos — частично свободная операционная система Unix с открытым исходным кодом, основанная на OpenSolaris и BSD.  Включает

Вики

Флэтпак

/

Плоский пакет Обзор Flatpak Flatpak — это утилита для управления пакетами и развертывания программного обеспечения в Linux.  Он обеспечивает изолированную

Вики

ТРАВЯНАЯ ГИС

/

ТРАВЯНОЙ ГИС Обзор GRASS GIS GRASS GIS — это геоинформационная система, используемая для управления и анализа геопространственных данных.  Она включает

Вики

Гит

/

Мерзавец Обзор Git Git — распределенная система контроля версий с открытым исходным кодом.  Основана на принципах децентрализации, прозрачности и устойчивости. 

Вики

Подрывная версия Apache

/

Подрывная деятельность Apache Обзор Subversion Subversion — система контроля версий с открытым исходным кодом, разработанная CollabNet.  Subversion поддерживает распределенную разработку

Вики

Калькулятор GNOME

/

Калькулятор GNOME Обзор GNOME Calculator GNOME Calculator — интегрированный в GNOME калькулятор на C и Vala.  Включает базовые, расширенные, финансовые

Вики

дпкг

/

Дпкг Основы dpkg dpkg — это программное обеспечение для управления пакетами в Debian и его производных.  Используется для установки, удаления

Вики

Менеджер пакетов RPM

/

Менеджер пакетов RPM Основы RPM RPM — система управления пакетами для Linux, разработанная Red Hat.  RPM позволяет устанавливать, удалять и

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