Compression

Extraire un seul fichier de l'archive TAR par chemin exact (requiert la commande 7zip)

Compression

Convertir l'archive TAR au format 7Z (requiert la commande 7zip)

Compression

Convertir l'archive TAR au format ZIP (requiert la commande 7zip)

Data Visualization

Générer des graphiques sunburst hiérarchiques avec coordonnées polaires et disposition radiale

Development

Génère des candidats, un modèle CSV et un importateur Node.js local. Ne crée pas de codes dans Stripe et ne suit pas les utilisations. Votre clé Stripe est nécessaire sur votre ordinateur.

Design

Créez une roue, une carte à gratter ou une boîte mystère. Démo locale ou API du marchand, sans service de remise de lots.

Document Tools

Composez des guides avec captures locales et annotations, PDF imprimable, HTML et projet modifiable.

Media

Supprime le bruit sourds et malentendants (SDH) des sous-titres : effets sonores entre crochets comme [APPLAUSE] et (engine rumbles), étiquettes de locuteur JOHN: ou NARRATOR -, lignes de notes ♪ ♫ — et retire les cues vidés.

Media

Rend une vraie compression sidechain via le sidechaincompress à deux entrées de FFmpeg : filtre le déclencheur, façonne l’enveloppe (attaque/relâche/genou/liaison/mix) et livre le fichier avec la réduction de gain mesurée.

Converter

Détecte, valide et fait le pont entre les seeds de portefeuilles crypto hors ligne : checksum BIP-39 et récupération d’entropie, analyse des parts Shamir SLIP-39 avec checksum RS1024 et recombinaison à groupe unique, validation du tag de version Electrum v2 et détection du v1 historique — puis dérive les clés maîtres BIP-32 xprv/xpub et les cinq premières adresses m/44′/0′/0′/0, et convertit l’entropie dans les deux sens entre mnémoniques BIP-39 et jeux de parts SLIP-39.

Science & Education

Une pile complète de vérification formelle dans le navigateur — sans binaire cvc5/Z3 : un analyseur de scripts SMT-LIB 2.7 pour le cœur QF_BV + Bool avec bit-blasting Tseitin des opérateurs FixedSizeBitVectors, un lecteur AIGER (aag ASCII et aig binaire avec décodage delta ; sorties comme propriétés bad), un lecteur BTOR2 avec bit-blasting au niveau du mot et un moteur SAT CDCL écrit à la main (littéraux doublement surveillés, activités façon VSIDS, apprentissage 1-UIP, redémarrages). Sur les modèles séquentiels : BMC avec traces témoins, k-induction avec renforcement par états uniques, interpolation de Craig à la McMillan re-certifiée par SAT, et une boucle IC3/PDR-lite à blocage de cubes.

Health

Intègre les EDO SIR/SEIR/SEIR+V/SEIR+H par RK4 : R0, seuil d’immunité, pic et taille finale analytiques, conversion du taux de croissance, matrice de nouvelle génération WAIFW, ajustement MCO et simulation d’interventions.