ROSE (фреймворк компилятора)
ROSE (фреймворк компилятора) Обзор платформы ROSE compiler framework ROSE – это инфраструктура компилятора с открытым исходным кодом, разработанная LLNL. Она […]
Вики
Программное обеспечение
Вики
Почтовая куча
Почтовый ящик Обзор Mailpile Mailpile – бесплатный почтовый клиент с открытым исходным кодом, ориентированный на конфиденциальность и удобство. Работает как
Вики
SecureDrop
Безопасный сброс Обзор SecureDrop SecureDrop – это платформа для безопасного общения журналистов и источников. Изначально разработана Аароном Шварцем, Кевином Поулсеном
Вики
TorChat – Wikipedia
Торчать Обзор TorChat TorChat – анонимный мессенджер, использующий сервисы Tor onion для шифрования. Пользователи имеют уникальные идентификаторы, которые генерируются при
Вики
Протонная почта
Протонная почта Обзор Proton Mail Proton Mail – это защищенная электронная почта, которая шифрует сообщения и обеспечивает анонимность пользователей. Proton
Вики
Битовое сообщение
Битовое сообщение Обзор Bitmessage Bitmessage – это децентрализованная система для зашифрованных сообщений. Основана на Биткоине и разработана Джонатаном Уорреном. Выпущена
Вики
React (библиотека JavaScript)
React (библиотека JavaScript) Обзор React React – это библиотека JavaScript для создания пользовательских интерфейсов. Создана Facebook в 2013 году, используется
Вики
Руби на рельсах
Ruby на рельсах Обзор Ruby on Rails Ruby on Rails – это веб-фреймворк с открытым исходным кодом, разработанный Дэвидом Хайнемайером
Вики
Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris – функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вики
F* (язык программирования)
F* (язык программирования) Обзор языка программирования F* F* – это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями. Основан на
Вики
ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS – это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Вики
Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire – это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете
Вики
Выдра (поставщик теорем)
Выдра (доказательство теоремы) Описание Otter Otter – инструмент для доказательства теорем, разработанный в Аргоннской лаборатории. Основан на разрешении и парамодуляции,
Вики
HOL (помощник по проверке)
HOL (ассистент по корректуре) Основы HOL HOL – семейство интерактивных систем доказательства теорем на основе логики высшего порядка. Системы HOL
Вики
E (теорема обеспечивает)
E (доказательство теоремы) Обзор системы E E – инструмент для доказательства теорем в полной логике первого порядка с равенством. Основан