Compression

Extrair um único arquivo do arquivo TAR por caminho exato (requer comando 7zip)

Compression

Converter arquivo TAR para formato 7Z (requer comando 7zip)

Compression

Converter arquivo TAR para formato ZIP (requer comando 7zip)

Data Visualization

Gerar gráficos sunburst hierárquicos com coordenadas polares e layout radial

Development

Gera candidatos, modelo CSV e importador Node.js local. Não cria códigos no Stripe nem acompanha resgates. O importador requer sua chave Stripe no seu computador.

Design

Crie uma roleta, raspadinha ou caixa surpresa. Demonstração local ou API própria, sem serviço de entrega de prêmios.

Document Tools

Combine instruções e capturas locais em guias anotados, PDF para impressão, HTML e projetos editáveis.

Media

Remove o ruído para deficientes auditivos (SDH) das legendas: efeitos sonoros entre colchetes como [APPLAUSE] e (engine rumbles), rótulos de falante tipo JOHN: ou NARRATOR -, linhas de notas musicais ♪ ♫ — e descarta os cues que ficaram vazios.

Media

Renderiza compressão sidechain real com o sidechaincompress de duas entradas do FFmpeg: filtra o disparador, molda o envelope (ataque/release/joelho/link/mix) e entrega o arquivo mais a redução de ganho medida.

Converter

Detecta, valida e faz a ponte entre seeds de carteiras cripto offline: checksum BIP-39 e recuperação de entropia, análise de partes Shamir SLIP-39 com checksum RS1024 e recombinação de grupo único, validação do tag de versão Electrum v2 e detecção do v1 legado — depois deriva as chaves mestras BIP-32 xprv/xpub e os primeiros cinco endereços m/44′/0′/0′/0, e converte a entropia nos dois sentidos entre mnemônicas BIP-39 e conjuntos de partes SLIP-39.

Science & Education

Uma pilha completa de verificação formal no navegador — sem binário cvc5/Z3: um analisador de scripts SMT-LIB 2.7 para o núcleo QF_BV + Bool com bit-blasting Tseitin dos operadores FixedSizeBitVectors, um leitor AIGER (aag ASCII e aig binário com descodificação delta; saídas como propriedades bad), um leitor BTOR2 com bit-blasting ao nível de palavra e, por baixo, um motor SAT CDCL escrito à mão (literais duplamente vigiados, atividades estilo VSIDS, aprendizagem 1-UIP, reinícios). Em modelos sequenciais executa BMC com traços testemunha, k-indução com reforço de estados únicos, interpolação de Craig estilo McMillan recertificada por SAT e um ciclo IC3/PDR-lite com bloqueio de cubos.

Health

Integra SIR/SEIR/SEIR+V/SEIR+H com RK4: R0, limiar de imunidade, pico e tamanho final analíticos, conversão da taxa de crescimento, matriz de nova geração WAIFW, ajuste por mínimos quadrados e simulação de intervenções.