Awesome GitHub RepositoriesRuntime Debugging Tools

Le noyau Linux est un cœur de système d'exploitation monolithique qui gère les ressources matérielles, la mémoire et la planification des processus à travers diverses architectures informatiques. Il fournit un environnement standardisé et conforme à POSIX pour l'exécution des applications tout en maintenant un framework de pilotes modulaire qui permet le chargement et la suppression dynamiques des interfaces matérielles. Le projet se distingue par sa boîte à outils de concurrence haute performance, qui utilise des primitives de synchronisation sans verrou et des mécanismes de lecture-copie-mise à jour pour gérer l'accès aux données partagées dans les environnements multi-cœurs. Il intègre une suite complète de traçage et d'instrumentation du noyau qui permet une surveillance non intrusive des événements système, de l'exécution des fonctions et des métriques de latence. De plus, le noyau impose des garanties strictes de stabilité de l'interface et un suivi du cycle de vie pour assurer la rétrocompatibilité des applications dépendantes. Au-delà de son identité principale, le système inclut des capacités étendues pour l'abstraction matérielle, l'implémentation de protocoles réseau et l'application de politiques de sécurité. Il prend en charge des exigences d'ingénierie spécialisées grâce à la gestion de l'état d'alimentation, aux optimisations des systèmes embarqués et aux processus de démarrage basés sur le firmware. L'architecture dispose également de frameworks de diagnostic robustes pour l'analyse de la mémoire, la vérification de l'exécution du système et la validation des modèles de programmation concurrente. Le dépôt source fournit un système de construction complet pour transformer le code en images binaires exécutables, incluant des outils pour la sélection des fonctionnalités du noyau et l'optimisation de la configuration afin d'adapter la sortie aux exigences matérielles spécifiques.

Context7 is an AI-powered documentation retrieval engine designed to provide developers and AI agents with real-time, context-aware access to technical documentation and code snippets. By integrating external library documentation as callable tools, the platform equips AI coding assistants with project-specific knowledge, helping to improve generation accuracy and reduce hallucinations during inference. The platform distinguishes itself through a robust security and governance framework that manages documentation as a centralized knowledge base. It employs a multi-source ingestion pipeline to

Expo is a universal mobile framework designed to build native iOS and Android applications from a single codebase using web-standard technologies. It provides a comprehensive development environment that includes a unified runtime for testing, cloud-based infrastructure for compiling and signing native binaries, and automated tools for managing the entire mobile release lifecycle, including app store submission. The framework distinguishes itself through a plugin-based native configuration engine that programmatically modifies project files, allowing developers to integrate native modules wit

GKD is an automation engine that leverages the Android accessibility framework to monitor system events and execute predefined interaction rules. By acting as a background service, it identifies interface elements in real-time and performs automated tasks, such as dismissing pop-ups or navigating through application screens, based on the current state of the device. The project distinguishes itself through a declarative rule engine that processes human-readable configuration files. Users can define sophisticated interaction logic using a specialized selector syntax that supports hierarchical

ToolJet is a low-code development platform designed for building and deploying internal business applications. It provides a visual interface where users can drag and drop components to design layouts, connect to various data sources, and execute custom logic. The platform is built on a containerized architecture, ensuring that applications remain portable and consistent across different cloud and server environments. The platform distinguishes itself through integrated artificial intelligence capabilities that assist in the generation of user interfaces, database schemas, and data queries fr

Selenium is a comprehensive browser automation framework that provides a standardized interface for controlling web browsers to perform automated tasks, user interactions, and data extraction. It functions as a cross-browser testing tool, enabling developers to execute identical automation scripts across various browser engines and operating systems to ensure consistent application behavior. By implementing the WebDriver protocol, it maps high-level automation commands to browser-specific drivers using a standardized HTTP-based wire protocol. The project distinguishes itself through its distr

dnSpy is a desktop application designed for the analysis, debugging, and modification of compiled .NET assemblies. It functions as an assembly analysis suite and decompiler, translating binary instruction streams back into readable source code to facilitate reverse engineering when original source files are unavailable. The tool distinguishes itself through an integrated binary patching engine and metadata editor, which allow for the direct modification of executable logic and internal metadata tables. It supports in-process debugging instrumentation, enabling users to inject runtime hooks, s

Dash is a Python-based framework for building analytical web applications and reactive data dashboards. It allows developers to connect data science and machine learning code to interactive web interfaces without writing JavaScript, serving as a backend-driven tool for defining layouts and managing state. The framework integrates the Plotly charting engine to render a wide variety of complex charts and financial graphs. It distinguishes itself through a reactive callback system that links user input components to data visualizations, enabling the creation of business intelligence dashboards a

This project serves as a comprehensive technical reference for the architecture and design of data-intensive applications. It provides a structured analysis of the fundamental principles required to build reliable, scalable, and maintainable software systems, covering the core trade-offs inherent in modern data infrastructure. The repository explores the mechanics of distributed data management, including strategies for replication, partitioning, and achieving consensus across multiple nodes. It details the design of storage engines, indexing techniques, and transaction management models, whi

This project is a comprehensive, curated directory of static analysis, linting, and security scanning utilities. It serves as a central resource for developers to discover, compare, and select tools based on specific programming languages, licensing models, and integration requirements. The directory distinguishes itself by providing deep metadata for each listed utility, including community-driven popularity rankings, maintenance status, and deployment methods. By aggregating these tools into a single searchable index, it enables teams to identify solutions for enforcing coding standards, ma

Z3 is an automated theorem prover and satisfiability modulo theories solver designed to determine the validity of complex logical formulas. It functions as a formal verification framework, enabling the systematic checking of hardware and software system specifications against defined logical constraints to identify inconsistencies or design flaws. The engine distinguishes itself through a combination of theory-specific decision procedures and symbolic execution capabilities. It employs conflict-driven clause learning and backtracking search algorithms to prune search spaces, while maintaining

F Prime est un framework basé sur des composants conçu pour le développement et le déploiement de logiciels embarqués et spatiaux. Il fournit une architecture modulaire qui découple la logique logicielle des interfaces de communication, permettant aux développeurs de définir des structures système via un langage de modélisation spécifique au domaine. Cette approche basée sur les modèles permet la génération automatique de code, garantissant la cohérence des topologies système complexes tout en maintenant des contrats d'interface stricts entre les modules logiciels. Le framework se distingue par son système de build intégré et sa suite d'opérations de données au sol. Il automatise l'intégralité du cycle de vie des logiciels embarqués, de la compilation croisée et la gestion des dépendances à la génération d'interfaces de télémétrie et de commande. En fournissant un environnement unifié pour les logiciels de vol embarqués et la surveillance au sol, il facilite l'intégration, les tests et le contrôle des systèmes embarqués distribués sur diverses plateformes matérielles. Au-delà de son architecture centrale, le projet inclut des outils complets pour l'observabilité du système, notamment la visualisation de télémétrie en temps réel, la journalisation d'événements et le traçage de diagnostic. Il prend en charge un large éventail de scénarios de déploiement, des environnements bare-metal aux systèmes d'exploitation temps réel, et fournit des mécanismes pour la gestion de la mémoire, la modélisation de comportement pilotée par les états et l'exécution de tâches asynchrones. Le projet est maintenu sous forme de dépôt C++ avec une documentation étendue et un support du système de build pour le développement multiplateforme.

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Bosque est un langage de programmation expérimental et une plateforme de développement conçue pour la construction de logiciels assistée par machine. Il combine la sémantique de la programmation fonctionnelle avec une syntaxe impérative pour appliquer la correction logique et la sécurité à l'exécution, fournissant un environnement typé qui utilise des modèles de données structurés pour maintenir l'intégrité des informations tout au long du cycle de vie de l'application. La plateforme se distingue par une intégration profonde avec des outils de vérification formelle, y compris des prouveurs de théorèmes automatisés et des moteurs d'exécution symbolique. En transformant le code source en une représentation intermédiaire régularisée, le système permet un raisonnement automatisé pour prouver l'absence d'erreurs à l'exécution et de violations logiques. De plus, l'exécution est conçue pour une performance prévisible, utilisant un interpréteur spécialisé qui élimine les pauses de garbage collection pour garantir une latence d'exécution cohérente. Le projet fournit une suite complète d'outils pour le développement à haute fiabilité, couvrant la gestion des packages de projet, le suivi des dépendances et la vérification automatisée des propriétés du code. Il prend également en charge la conception d'interfaces agnostiques au langage, permettant aux développeurs de définir des structures de données partagées et des contrats de service qui garantissent une validation cohérente à travers divers composants logiciels.

Diaphora est un outil de diff binaire et un moteur de similarité conçu pour comparer des binaires compilés et identifier les sections de code modifiées ou correspondantes. Il fonctionne comme un plugin d'ingénierie inverse qui établit des relations entre les fonctions et détecte les unités de compilation en utilisant l'analyse d'assembleur et la théorie des graphes. Le projet se spécialise dans l'analyse de correctifs de vulnérabilité, permettant aux utilisateurs de détecter les correctifs de sécurité en comparant différentes versions d'un binaire. Il synchronise les métadonnées d'analyse, telles que les noms de symboles et les commentaires, entre les binaires et génère des correctifs en comparant le pseudo-code décompilé. Le moteur utilise des graphes de flux de contrôle et une correspondance heuristique pour calculer les ratios de similarité entre les fonctions. Ses capacités plus larges incluent la cartographie des graphes d'appels, l'identification des limites des fichiers objets et la gestion de l'état d'analyse via une base de données relationnelle pour faciliter le référencement croisé à grande échelle.

Ikos is a formal verification suite and static analysis framework designed to prove the absence of undefined behaviors and runtime errors in C and C++ source code. It functions as an abstract interpretation tool that approximates program execution to identify potential crashes and software defects. The system utilizes a compiler front-end to translate source code into a specialized abstract representation. This process decouples language parsing from the analysis logic, allowing the framework to perform deep program analysis via a formal verification system. The toolkit covers several analys

Hercules is a security tool designed to protect Lua source code from reverse engineering and unauthorized analysis. It functions as a code transformation engine that secures application logic by applying multiple layers of obfuscation, including control flow manipulation and the wrapping of scripts within a custom virtual machine environment. The project distinguishes itself through a multi-stage pipeline architecture that allows for the development of custom, multi-layered protection strategies. By replacing standard language instructions with custom opcodes and reorganizing linear code into