Awesome GitHub RepositoriesCode Execution Prevention

H2 is a JDBC-compliant relational database management system written in Java. It functions as an embeddable SQL database that can run directly within an application process to remove network latency, or as an in-memory database for high-performance volatile storage. It also includes a web-based console for executing SQL commands and administering schemas. The system is characterized by its flexible deployment modes, including a standalone server mode for remote TCP/IP access and a mixed mode for simultaneous local and remote connectivity. It features a dialect emulation layer and compatibilit

Dhall est un langage de configuration typé conçu pour créer des fichiers de configuration programmables garantis de se terminer. C'est un langage non Turing-complet qui utilise un système de types strict pour assurer l'exactitude et prévenir les boucles infinies durant l'évaluation. Le projet fonctionne comme un moteur de configuration déterministe et un outil de marshalling, convertissant des expressions programmables en formats statiques tels que JSON, YAML et Bash. Il se distingue par un accent mis sur la sécurité et l'intégrité, utilisant le hachage sémantique pour épingler les importations distantes et imposant des politiques d'origine pour prévenir l'exfiltration de données. Ses capacités couvrent une large surface de gestion de configuration, incluant l'utilisation de fonctions polymorphes, de types union et de complétion d'enregistrements pour réduire la redondance. Il fournit des outils pour la validation de schéma, la résolution d'expressions distantes et une implémentation du Language Server Protocol pour l'intégration dans les éditeurs. Le langage fournit une interface en ligne de commande et un REPL pour évaluer les expressions et vérifier l'égalité.

LLM Guard is a security firewall and guardrail framework designed to scan and sanitize inputs and outputs for large language models. It functions as a proxy gateway and security layer to block prompt injections, toxicity, and sensitive data leakage while ensuring that model interactions remain compliant with organizational policies. The system distinguishes itself through a modular scanner pipeline that utilizes local model orchestration to eliminate external network dependencies. It supports real-time security filtering via streaming chunk analysis and implements a fail-fast execution model