Заглушки бесплатного программного обеспечения и программного обеспечения с открытым исходным кодом

Вики

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

/

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

Вики

Лицензия zlib

/

Лицензия Zlib Лицензия zlib Разрешительная лицензия для свободного ПО, определяет условия использования zlib.  Используется многими другими пакетами свободного ПО.  Совместима

Вики

Гиани

/

Безумный Обзор редактора Geany Geany – это бесплатный текстовый редактор с открытым исходным кодом, использующий Scintilla и GTK.  Он предназначен

Вики

Амстердамский компилятор

/

Амстердамский набор для компиляции Обзор Amsterdam Compiler Kit (ACK) ACK – это набор компиляторов и инструментов, разработанный Эндрю Таненбаумом и

Вики

lmctfy

/

Lmctfy Обзор инструмента lmctfy lmctfy – это реализация виртуализации на уровне ОС, основанная на cgroups ядра Linux.  Он предоставляет функциональность,

Вики

Ганети

/

Ганети Обзор Ganeti Ganeti – инструмент для управления кластерами виртуальных машин, разработанный Google.  Использует различные платформы виртуализации, включая Xen, KVM

Вики

бхайв

/

Бхив Обзор bhyve bhyve – это гипервизор 2-го типа, изначально разработанный для FreeBSD.  Он поддерживает виртуализацию различных операционных систем, включая

Вики

Василиск II

/

Василиск II Обзор эмулятора Basilisk II Basilisk II эмулирует компьютеры Macintosh на базе Motorola 68000.  Программное обеспечение кроссплатформенное и совместимо

Вики

Фрицинг

/

Фритцинг Обзор Fritzing Fritzing – это САПР для электроники с открытым исходным кодом, разработанная в Потсдамском университете.  Программное обеспечение основано

Вики

МиКТеХ

/

Миктекс Обзор MiKTeX MiKTeX – это дистрибутив TeX/LaTeX с открытым исходным кодом для Linux, macOS и Windows.  Включает инструменты для