Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Лицензия Zlib Лицензия zlib Разрешительная лицензия для свободного ПО, определяет условия использования zlib. Используется многими другими пакетами свободного ПО. Совместима
DNF (программное обеспечение) Обзор менеджера пакетов DNF DNF — это улучшенная версия менеджера пакетов yum для Linux на основе RPM.
Ознакомьтесь с документами Обзор платформы Read the Docs Read the Docs — платформа для документации по ПО с открытым исходным
Амстердамский набор для компиляции Обзор Amsterdam Compiler Kit (ACK) ACK — это набор компиляторов и инструментов, разработанный Эндрю Таненбаумом и
Василиск II Обзор эмулятора Basilisk II Basilisk II эмулирует компьютеры Macintosh на базе Motorola 68000. Программное обеспечение кроссплатформенное и совместимо
Печатная плата (программное обеспечение) Обзор PCB PCB — это бесплатный программный комплекс для EDA, разработанный Томасом Нау в 1990 году.
Геррит (программное обеспечение) Обзор инструмента Gerrit Gerrit — бесплатный веб-инструмент для совместной работы над кодом. Разработчики могут просматривать и одобрять
Тюльпан (программное обеспечение) Обзор платформы Tulip Tulip — это платформа для визуализации реляционных данных. Разработана в лаборатории LaBRI Университета Бордо,
Единственное число (программное обеспечение) Обзор системы компьютерной алгебры Singular Singular — это система для полиномиальных вычислений, ориентированная на коммутативную и
Символ (применение) Обзор программного обеспечения Sigil Sigil — это бесплатное ПО для редактирования EPUB с открытым исходным кодом. Приложение доступно
TIPA (программное обеспечение) Описание TIPA TIPA — бесплатный пакет для TeX и LaTeX, предоставляющий международный фонетический алфавит. Основана на предыдущей