Compression

Extraer un solo archivo del archivo TAR por ruta exacta (requiere comando 7zip)

Compression

Convertir archivo TAR a formato 7Z (requiere comando 7zip)

Compression

Convertir archivo TAR a formato ZIP (requiere comando 7zip)

Data Visualization

Generar gráficos sunburst jerárquicos con coordenadas polares y diseño radial

Development

Genera candidatos, una plantilla CSV y un importador Node.js local. No crea códigos en Stripe ni registra canjes. El importador requiere tu clave de Stripe en tu equipo.

Design

Diseña y exporta una ruleta, tarjeta para rascar o caja sorpresa. Demostración local o API propia; sin premios alojados.

Document Tools

Combina instrucciones y capturas locales en guías anotadas, PDF imprimible, HTML y proyectos editables.

Media

Elimina el ruido para sordos (SDH) de los subtítulos: efectos de sonido entre corchetes como [APPLAUSE] y (engine rumbles), etiquetas de hablante tipo JOHN: o NARRATOR -, líneas de notas musicales ♪ ♫ — y borra los cues vacíos que quedan.

Media

Renderiza compresión sidechain real con el sidechaincompress de dos entradas de FFmpeg: filtra el disparador, moldea la envolvente (ataque/relajación/rodilla/enlace/mix) y devuelve el archivo más la reducción de ganancia medida.

Converter

Detecta, valida y hace puente entre semillas de carteras cripto sin conexión: checksum BIP-39 y recuperación de entropía, análisis de participaciones Shamir SLIP-39 con checksum RS1024 y recombinación de grupo simple, validación de etiqueta de versión Electrum v2 y detección del v1 heredado — luego deriva el xprv/xpub maestro BIP-32 y las primeras cinco direcciones m/44′/0′/0′/0, y convierte la entropía en ambos sentidos entre mnemónicos BIP-39 y conjuntos de participaciones SLIP-39 de grupo simple.

Science & Education

Una pila completa de verificación formal en el navegador — sin binario de cvc5/Z3: un analizador de guiones SMT-LIB 2.7 para el núcleo QF_BV + Bool con bit-blasting Tseitin de los operadores FixedSizeBitVectors, un lector AIGER (aag ASCII y aig binario con decodificación delta; salidas como propiedades malas), un lector BTOR2 con bit-blasting a nivel de palabra y un motor SAT CDCL escrito a mano (literales doblemente vigilados, actividades tipo VSIDS, aprendizaje 1-UIP, reinicios) por debajo. Sobre modelos secuenciales ejecuta BMC con trazas testigo, k-inducción con reforzamiento de estados únicos, interpolación de Craig estilo McMillan recalificada por SAT, y un bucle IC3/PDR-lite con bloqueo de cubos.

Health

Resuelve ODE SIR/SEIR/SEIR+V/SEIR+H con RK4: R0, umbral de inmunidad, pico y tamaño final analíticos, conversión de tasa de crecimiento, matriz de nueva generación WAIFW, ajuste por mínimos cuadrados y simulación de intervenciones.