Spin

Spin (англ. Simple Promela Interpreter) – программа для верификации корректности распределённых программных моделей. Служит для автоматизированной проверки моделей. Развивается Gerard J. Holzmann и его коллегами… Скачать
Spin (англ. Simple Promela Interpreter) – программа для верификации корректности распределённых программных моделей. Служит для автоматизированной проверки моделей. Развивается Gerard J. Holzmann и его коллегами… Скачать
SpatiaLite – свободное расширение SQLite для пространственных данных. Предоставляет функциональность для работы с геоданными, как PostGIS или Oracle Spatial. Но в отличие от последних не… Скачать
2D и 3D, ГИС и GPS, Графика и дизайн, Карты и схемы, Компоненты и библиотеки, Навигация и GPS, Разработчику
SP-Forth — свободная реализация языка Forth, начатая калининградским программистом Андреем Черезовым в 1992 году. В настоящее время проект развивается силами ряда участников русской Forth Interest Group… Скачать
Sonic Pi – свободная среда программирования в реальном времени для создания электронной музыки, предназначенная для использования на уроках информатики и музыки в школах. Была разработана… Скачать
SonarQube (бывший Sonar) – свободная кроссплатформенная платформа с открытым исходным кодом для непрерывного анализа (англ. continuous inspection) и измерения качества кода. Поддерживает анализ кода и… Скачать
Stencyl – отличная и бесплатная программа с помощью которой можно легко создавать двухмерные флеш-игры. Работает под управлением операционных систем Microsoft Windows, Mac OS X и Linux. Благодаря… Скачать
Flash графика, Анимация, Геймерам, Графика и дизайн, Разработчику, Средства разработки, Утилиты геймерам
SmartGit – кроссплатформенный визуальный клиент системы управления версиями Git, Mercurial и Apache Subversion, который работает на Microsoft Windows, Mac OS X и Linux. Интерфейс главного… Скачать
SmartClient – AJAX-фреймворк, разрабатываемый компанией Isomorphic Software. Первый релиз датируется 2001 годом. В настоящее время SmartClient получил большое развитие, интегрирован в продукты таких вендоров программного… Скачать
Java и JavaScript, Веб-разработчику, Веб-фреймворки, Компоненты и библиотеки, Разработчику
SDCC (Small Device C Compiler) — свободный компилятор языка программирования C с поддержкой большого количества целевых микроконтроллеров: Intel MCS51 (8031, 8032, 8051, 8052 и другие);… Скачать
OCaml (Objective Caml) – современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ. Предназначен для работы в… Скачать