Compression

Извлечь один файл из TAR-архива по точному пути (требуется команда 7zip)

Compression

Конвертация TAR-архива в формат 7Z (требуется команда 7zip)

Compression

Конвертация TAR-архива в формат ZIP (требуется команда 7zip)

Data Visualization

Генерировать иерархические солнечные диаграммы с полярными координатами и радиальным расположением

Development

Создаёт строки-кандидаты, шаблон CSV и локальный импортёр Node.js. Не создаёт коды в Stripe и не отслеживает погашения. Для импорта нужен ваш ключ Stripe на вашем компьютере.

Design

Создавайте колесо, скретч-карту или коробку-сюрприз. Локальное демо или API магазина, без сервиса выдачи призов.

Document Tools

Создавайте инструкции с локальными снимками, пометками, печатью PDF, HTML и редактируемым проектом.

Media

Убирает шум субтитров для слабослышащих (SDH): звуковые пометки в скобках вроде [APPLAUSE] и (engine rumbles), метки говорящих JOHN: или NARRATOR -, строки с нотами ♪ ♫ — и удаляет опустевшие реплики.

Media

Рендерит настоящий сайдчейн-компрессию через двухвходовый sidechaincompress FFmpeg: фильтрует триггер, управляет огибающей (атака/восстановление/колено/связь/микс) и отдаёт файл вместе с измеренной величиной подавления.

Converter

Определяет, проверяет и мостит криптокошельковые сиды офлайн: контрольная сумма BIP-39 и восстановление энтропии, разбор долей Shamir SLIP-39 с проверкой RS1024 и рекомбинацией одной группы, проверка тега версии Electrum v2 и распознавание legacy v1 — затем выводит мастер-ключи BIP-32 xprv/xpub и первые пять адресов m/44′/0′/0′/0 и конвертирует энтропию в обе стороны между мнемониками BIP-39 и наборами долей SLIP-39.

Science & Education

Полный стек формальной верификации в браузере — без бинарников cvc5/Z3: парсер скриптов SMT-LIB 2.7 для ядра QF_BV + Bool с Tseitin-бит-бластингом операторов FixedSizeBitVectors, чтение AIGER (ASCII aag и двоичный aig с delta-декодированием; выходы как плохие свойства), чтение BTOR2 со словоуровневым бит-бластингом и собственный CDCL SAT-движок (двойные просматриваемые литералы, активности в стиле VSIDS, 1-UIP-обучение, перезапуски) в основании. На последовательностных моделях выполняются BMC с трассами-свидетелями, k-индукция с усилением уникальными состояниями, интерполяция Крейга в стиле Макмиллана с повторной SAT-сертификацией и цикл IC3/PDR-lite с блокировкой кубов.

Health

Интегрирование SIR/SEIR/SEIR+V/SEIR+H методом РК4: R0, порог коллективного иммунитета, аналитические пик и итоговый размер, пересчёт скорости роста, матрица нового поколения WAIFW, подгонка МНК и симуляция вмешательств.