Бесплатное программное обеспечение

Вики

ДЖОВЕ

/

ДВИГАЙСЯ Обзор JHOVE JHOVE – это API для проверки цифровых объектов на основе Java.  Проект был разработан JSTOR и Гарвардским

Вики

Матита

/

Матита Обзор инструмента Matita Matita – это ассистент по экспериментальному тестированию в Болонском университете.  Инструмент объединяет формальные доказательства, исполняемые алгоритмы

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS – это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

Гмш

/

Gmsh Обзор Gmsh Gmsh – это генератор конечно-элементной сетки с открытым исходным кодом.  Разработан Кристофом Гезеном и Жан-Франсуа Ремаклем, выпущен

Вики

GNU Emacs

/

В GNU Emacs для Обзор GNU Emacs GNU Emacs – текстовый редактор с открытым исходным кодом, разработанный в 1985 году. 

Вики

Эмакс

/

Emacs (Эмакс) Основы Emacs Emacs – это текстовый редактор с открытым исходным кодом, разработанный в 1976 году.  Он был создан

Вики

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

/

Coq (программное обеспечение) Обзор Coq Coq – это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические

Вики

OpenSCAD

/

OpenSCAD Обзор OpenSCAD OpenSCAD – бесплатное приложение для создания 3D CAD.  Основано на скриптах, использует собственный язык описания.  Интерактивный предварительный

Вики

Юлия (язык программирования)

/

Julia (язык программирования) Обзор Julia Julia – это высокоуровневый язык программирования общего назначения, разработанный для научных вычислений и машинного обучения. 

Вики

LyX

/

Ликс Обзор LyX LyX – это текстовый процессор с открытым исходным кодом, основанный на LaTeX.  Он использует подход WYSIWYM, отображая

Вики

OpenBSD

/

OpenBSD История и философия OpenBSD OpenBSD – это операционная система с открытым исходным кодом, разработанная для обеспечения безопасности и стабильности. 

Вики

Node.js

/

Node.js Обзор Node.js Node.js – это среда выполнения JavaScript с открытым исходным кодом, разработанная Райаном Далем.  Она используется для создания

Вики

Пандок

/

Пандок Обзор Pandoc Pandoc – это конвертер документов с открытым исходным кодом, используемый для создания текстов и публикации рабочих процессов. 

Вики

LaTeXML

/

Латексml Обзор LaTeXML LaTeXML – бесплатный пакет для преобразования LaTeX в XML, HTML, EPUB и другие форматы.  Сохраняет семантические структуры

Вики

Бесплатное программное обеспечение

/

Бесплатное программное обеспечение Определение и история свободного программного обеспечения Свободное программное обеспечение (СПО) – это программное обеспечение, которое может быть

Вики

МиКТеХ

/

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

Вики

ГНОМ

/

гном История и развитие GNOME GNOME – это среда рабочего стола с открытым исходным кодом, разработанная сообществом.  GNOME была основана

Вики

Панго

/

Панго Обзор библиотеки Pango Pango – это библиотека для рендеринга текста в Юникоде, работающая с движком HarfBuzz.  Она обеспечивает полнофункциональный

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