Free and open-source software stubs

Вики

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

/

Вампир (доказательство теоремы) Обзор 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 — это САПР для электроники с открытым исходным кодом, разработанная в Потсдамском университете.  Программное обеспечение основано

Вики

Геррит (программное обеспечение)

/

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

Вики

Пикоген

/

Пикоген Обзор программного обеспечения Picogen Picogen — система рендеринга для создания искусственного ландшафта с использованием трассировки лучей.  Это бесплатное программное

Вики

Сингуляр (программное обеспечение)

/

Единственное число (программное обеспечение) Обзор системы компьютерной алгебры Singular Singular — это система для полиномиальных вычислений, ориентированная на коммутативную и

Вики

Сигил (приложение)

/

Символ (применение) Обзор программного обеспечения Sigil Sigil — это бесплатное ПО для редактирования EPUB с открытым исходным кодом.  Приложение доступно

Вики

Тип книги

/

Книжный тип Обзор программного обеспечения Booktype Booktype — это бесплатное ПО с открытым исходным кодом для создания и публикации книг

Вики

Книтр

/

Вязать Обзор knitr knitr — это движок для создания динамических отчетов в R.  Он интегрирует R-код в различные форматы документов,

Вики

teTeX

/

Тетекс История и поддержка teTeX teTeX был дистрибутивом TeX для Unix-подобных систем, но больше не поддерживается с мая 2006 года. 

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