Тор2веб
Tor2web Обзор Tor2web Tor2web позволяет получать доступ к скрытым сервисам Tor через стандартный браузер без подключения к сети Tor. Создан […]
Бесплатное программное обеспечение
Вики
Почтовая куча
Почтовый ящик Обзор Mailpile Mailpile – бесплатный почтовый клиент с открытым исходным кодом, ориентированный на конфиденциальность и удобство. Работает как
Вики
SecureDrop
Безопасный сброс Обзор SecureDrop SecureDrop – это платформа для безопасного общения журналистов и источников. Изначально разработана Аароном Шварцем, Кевином Поулсеном
Вики
TorChat – Wikipedia
Торчать Обзор TorChat TorChat – анонимный мессенджер, использующий сервисы Tor onion для шифрования. Пользователи имеют уникальные идентификаторы, которые генерируются при
Вики
База ключей
Ключевая база Основы Keybase Keybase – это каталог ключей, который связывает идентификационные данные в социальных сетях с ключами шифрования. Keybase
Вики
Битовое сообщение
Битовое сообщение Обзор Bitmessage Bitmessage – это децентрализованная система для зашифрованных сообщений. Основана на Биткоине и разработана Джонатаном Уорреном. Выпущена
Вики
Руби на рельсах
Ruby на рельсах Обзор Ruby on Rails Ruby on Rails – это веб-фреймворк с открытым исходным кодом, разработанный Дэвидом Хайнемайером
Вики
Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq – это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические
Вики
Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris – функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вики
Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire – это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете
Вики
Выдра (поставщик теорем)
Выдра (доказательство теоремы) Описание Otter Otter – инструмент для доказательства теорем, разработанный в Аргоннской лаборатории. Основан на разрешении и парамодуляции,
Вики
E (теорема обеспечивает)
E (доказательство теоремы) Обзор системы E E – инструмент для доказательства теорем в полной логике первого порядка с равенством. Основан
Вики
Разбойник (видеоигра)
Разбойник (видеоигра) История создания и популярность Rogue Rogue была создана в 1980 году Майклом Тойем, Кеном Арнольдом и Дэвидом Уичманом
Вики
Матплотлиб
Matplotlib Обзор Matplotlib Matplotlib – это библиотека для Python и NumPy, предоставляющая API для встраивания графиков. Она поддерживает GUI-инструменты, такие