2 dépôts
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 2 awesome GitHub repositories matching security & cryptography · Safe Code Previews. Refine with filters or upvote what's useful.
Pluto.jl est un environnement de calcul réactif pour Julia qui fonctionne comme un format de document programmable. Il sert d'IDE de science des données interactif et de notebook computationnel polyglotte qui stocke le code Julia et les dépendances d'environnement sous forme de fichiers source versionnables. Le système se distingue par son modèle d'exécution réactif, qui utilise un graphe acyclique dirigé pour suivre les dépendances des variables et réévaluer automatiquement les cellules en aval affectées lorsqu'une valeur change. Il assure la reproductibilité en intégrant des environnements de paquets isolés directement dans le fichier notebook et en persistant le contenu sous forme de fichiers source exécutables purs. La plateforme couvre un large éventail de capacités, incluant la visualisation de données interactive, la création de devoirs éducatifs guidés et la génération de sites web de documentation statique. Elle supporte divers modes de sortie comme des présentations de diapositives et des applications web, et fournit des outils pour exporter les notebooks vers HTML, PDF et des scripts axés sur la reproductibilité. L'environnement peut être lancé via une interface web sur localhost ou accédé via des serveurs distants et de l'hébergement cloud.
Inspects notebook content and structure without executing code to ensure security and correctness.
lensm is a binary analysis tool and Go disassembler interface designed for navigating disassembled machine code, tracking function calls, and inspecting executable metadata. It specifically functions as a Go assembly viewer that visualizes compiled binary instructions alongside their original source code. The project implements the Model Context Protocol to expose internal functions and source code as tools for external AI systems. This protocol-based analysis server enables the streaming of binary data and the management of server lifecycles to allow external tools to analyze logic. The sys
Displays a temporary view of a function's code that can be promoted to a persistent tab.