1 Repo
Mechanisms for inspecting executable notebook content without running the code to prevent security risks.
Distinct from Safe Code Verifiers: None of the candidates cover the security-focused preview of executable notebook files.
Explore 1 awesome GitHub repository matching security & cryptography · Safe Code Previews. Refine with filters or upvote what's useful.
Pluto.jl ist eine reaktive Computing-Umgebung für Julia, die als programmierbares Dokumentenformat fungiert. Sie dient als interaktive Data-Science-IDE und polyglottes Computational Notebook, das Julia-Code und Umgebungsabhängigkeiten als versionierbare Quelldateien speichert. Das System zeichnet sich durch sein reaktives Ausführungsmodell aus, das einen gerichteten azyklischen Graphen verwendet, um Variablenabhängigkeiten zu verfolgen und betroffene nachgelagerte Zellen automatisch neu zu berechnen, wenn sich ein Wert ändert. Es stellt Reproduzierbarkeit sicher, indem isolierte Paketumgebungen direkt in die Notebook-Datei integriert werden und Inhalte als reine ausführbare Quelldateien gespeichert werden. Die Plattform deckt ein breites Spektrum an Funktionen ab, einschließlich interaktiver Datenvisualisierung, der Erstellung geführter Bildungsaufgaben und der Generierung statischer Dokumentations-Websites. Sie unterstützt diverse Ausgabemodi wie Slideshow-Präsentationen und Webanwendungen und bietet Tools zum Exportieren von Notebooks in HTML, PDF und reproduzierbarkeitsfokussierte Skripte. Die Umgebung kann über ein Web-Interface auf localhost gestartet oder über Remote-Server und Cloud-Compute-Hosting aufgerufen werden.
Inspects notebook content and structure without executing code to ensure security and correctness.