Elysia Tools Docs
DE
Sprache
ZHESPTRUFRDEEN
Zurück zur Website

© 2026 Elysia Tools. Entwicklerdokumentation.

Zurück zur WebsiteWerkzeuge durchsuchen
Alle KategorienBilder, Audio & VideoMathe, Datum & FinanzenDesign & FarbeText & SchreibenEntwicklung & WebKonvertierung & KodierungDaten & TabellenDokumente & PDFSicherheit & ValidierungDiagramme & Visualisierung
3201 Werkzeuge

TAR Datei-Extraktor

file

Compression

Eine einzelne Datei aus TAR-Archiv nach genauen Pfad extrahieren (erfordert 7zip-Befehl)

tar-selective-extract

TAR-zu-7Z-Konverter

file

Compression

TAR-Archiv in 7Z-Format konvertieren (erfordert 7zip-Befehl)

tar-to-7z-converter

TAR-zu-ZIP-Konverter

file

Compression

TAR-Archiv in ZIP-Format konvertieren (erfordert 7zip-Befehl)

tar-to-zip-converter

Sunburst-Diagramm-Generator

html

Data Visualization

Hierarchische Sunburst-Diagramme mit Polarkoordinaten und radialem Layout generieren

sunburst-chart-generator

Stripe-Codekandidaten- und Importskript-Generator

json

Development

Erstellt Codekandidaten, CSV-Vorlage und lokales Node.js-Importskript. Legt keine Stripe-Codes an und verfolgt keine Einlösungen. Der Import benötigt Ihren Stripe-Schlüssel auf Ihrem Rechner.

stripe-promo-code-batch-generator

Gewinnspiel-Generator für Shops

json

Design

Gestalte Glücksrad, Rubbellos oder Überraschungsbox zum Selbsthosten. Lokale Demo oder Shop-API, keine gehostete Preisvergabe.

store-promotion-giveaway-widget-generator

Schritt-für-Schritt-Anleitungen

interactive

Document Tools

Lokale Screenshots und Schritte zu Anleitungen mit Markierungen, PDF-Druck, HTML und Projektdateien verbinden.

step-by-step-guide-builder

SDH-Anmerkungen-Reiniger

text

Media

Entfernt Hörgeschädigten-Rauschen (SDH) aus Untertiteln: Geräusch-Anmerkungen in Klammern wie [APPLAUSE] und (engine rumbles), Sprecherkennungen wie JOHN: oder NARRATOR -, Musiknotenzeilen ♪ ♫ — und verwirft die leer gebliebenen Cues.

srt-sdh-annotation-cleaner

Sidechain-Compressor Pro

file

Media

Rendert echte Sidechain-Kompression über FFmpegs zwei-Eingangs-sidechaincompress: Trigger filtern, Hüllkurve formen (Attack/Release/Knee/Link/Mix) — Ausgabedatei plus gemessene Gain-Reduction.

sidechain-compressor-pro

SLIP-39 / BIP-39 / Electrum-Seed-Brücke

html

Converter

Erkennt, validiert und überbrückt Krypto-Wallet-Seeds offline: BIP-39-Checksumme und Entropie-Wiederherstellung, SLIP-39-Shamir-Anteilanalyse mit RS1024-Checksumme und Einfachgruppen-Rekombination, Electrum-v2-Versionstag-Validierung und Legacy-v1-Erkennung — leitet dann die BIP-32-Masterschlüssel xprv/xpub und die ersten fünf m/44′/0′/0′/0-Adressen ab und konvertiert Entropie in beide Richtungen zwischen BIP-39-Mnemonics und Einfachgruppen-SLIP-39-Anteilsets.

slip39-bip39-electrum-seed-bridge

SMT-LIB 2.7 / AIGER / BTOR2 Formal-Verification-Orchestrator (CDCL + BMC + k-Induktion + Craig-Interpolation + IC3)

html

Science & Education

Ein kompletter Formal-Verification-Stack im Browser — ganz ohne cvc5/Z3-Binary: ein SMT-LIB-2.7-Skript-Parser für den QF_BV-+Bool-Kern mit Tseitin-Bit-Blasting der FixedSizeBitVectors-Operatoren, ein AIGER-Leser (ASCII-aag und Binär-aig mit Delta-Dekodierung; Ausgaben als Bad-Properties), ein BTOR2-Leser mit Wortebenen-Bit-Blasting und darunter ein handgeschriebener CDCL-SAT-Kern (zwei beobachtete Literale, VSIDS-artige Aktivitäten, 1-UIP-Lernen, Neustarts). Auf sequenziellen Modellen: BMC mit Zeugenspuren, k-Induktion mit Unique-State-Verstärkung, McMillan-artige Craig-Interpolation mit SAT-Rezertifizierung und eine IC3/PDR-lite-Schleife mit Würfel-Blockierung.

smt-smtlib-2-7-cvc5-z3-btor2-aiger-k-induction-cddr-dbg-invariant-synthesis-orchestrator

SIR/SEIR-Epidemiemodell-Coach für R0 und Interventionen

html

Health

Löst SIR/SEIR/SEIR+V/SEIR+H-ODEs mit RK4: R0, Herdenimmunitätsschwelle, analytischer Peak und Endgröße, Umrechnung der Wachstumsrate, WAIFW-Next-Generation-Matrix, Kleinste-Quadrate-Anpassung und Interventionssimulation.

sir-seir-compartmental-epidemic-r0-and-intervention-modeling-coach
Zurück
83
84
85
86
87
88
89
Weiter