Awesome GitHub RepositoriesRuntime Debugging Tools

El kernel de Linux es un núcleo de sistema operativo monolítico que gestiona recursos de hardware, memoria y programación de procesos a través de diversas arquitecturas informáticas. Proporciona un entorno estandarizado y compatible con POSIX para la ejecución de aplicaciones, manteniendo al mismo tiempo un framework de controladores modular que permite la carga y eliminación dinámica de interfaces de hardware. El proyecto se distingue por su kit de herramientas de concurrencia de alto rendimiento, que utiliza primitivas de sincronización sin bloqueo y mecanismos de lectura-copia-actualización para gestionar el acceso a datos compartidos en entornos multinúcleo. Incorpora una suite completa de rastreo e instrumentación del kernel que permite el monitoreo no intrusivo de eventos del sistema, ejecución de funciones y métricas de latencia. Además, el kernel aplica garantías estrictas de estabilidad de interfaz y seguimiento del ciclo de vida para garantizar la compatibilidad con versiones anteriores para aplicaciones dependientes. Más allá de su identidad central, el sistema incluye amplias capacidades para la abstracción de hardware, implementación de protocolos de red y aplicación de políticas de seguridad. Admite requisitos de ingeniería especializados a través de la gestión del estado de energía, optimizaciones de sistemas integrados y procesos de arranque basados en firmware. La arquitectura también cuenta con marcos de diagnóstico robustos para el análisis de memoria, verificación de ejecución del sistema y validación de modelos de programación concurrente. El repositorio de origen proporciona un sistema de compilación completo para transformar código en imágenes binarias ejecutables, incluyendo herramientas para la selección de características del kernel y optimización de configuración para adaptar la salida a requisitos de hardware específicos.

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 es un framework basado en componentes diseñado para el desarrollo y despliegue de software embebido y de vuelo espacial. Proporciona una arquitectura modular que desacopla la lógica del software de las interfaces de comunicación, permitiendo a los desarrolladores definir estructuras de sistema mediante un lenguaje de modelado específico del dominio. Este enfoque basado en modelos permite la generación automática de código, asegurando la consistencia en topologías de sistemas complejos mientras mantiene estrictos contratos de interfaz entre los módulos de software. El framework se distingue por su sistema de compilación integrado y su suite de operaciones de datos en tierra. Automatiza todo el ciclo de vida del software embebido, desde la compilación cruzada y la gestión de dependencias hasta la generación de interfaces de telemetría y comandos. Al proporcionar un entorno unificado tanto para el software de vuelo a bordo como para la monitorización en tierra, facilita la integración, las pruebas y el mando y control de sistemas embebidos distribuidos en diversas plataformas de hardware. Más allá de su arquitectura central, el proyecto incluye herramientas integrales para la observabilidad del sistema, incluyendo visualización de telemetría en tiempo real, registro de eventos y trazado de diagnóstico. Soporta una amplia gama de escenarios de despliegue, desde entornos bare-metal hasta sistemas operativos en tiempo real, y proporciona mecanismos para la gestión de memoria, modelado de comportamiento basado en estados y ejecución de tareas asíncronas. El proyecto se mantiene como un repositorio en C++ con documentación extensa y soporte de sistema de compilación para el desarrollo multiplataforma.

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 es un lenguaje de programación experimental y plataforma de desarrollo diseñada para la construcción de software asistida por máquina. Combina la semántica de programación funcional con sintaxis imperativa para imponer la corrección lógica y la seguridad en tiempo de ejecución, proporcionando un entorno con seguridad de tipos que utiliza modelos de datos estructurados para mantener la integridad de la información a lo largo del ciclo de vida de la aplicación. La plataforma se distingue por una integración profunda con herramientas de verificación formal, incluyendo demostradores de teoremas automatizados y motores de ejecución simbólica. Al transformar el código fuente en una representación intermedia regularizada, el sistema permite el razonamiento automatizado para probar la ausencia de errores en tiempo de ejecución y violaciones lógicas. Además, el tiempo de ejecución está diseñado para un rendimiento predecible, utilizando un intérprete especializado que elimina las pausas de recolección de basura para asegurar una latencia de ejecución consistente. El proyecto proporciona un conjunto integral de herramientas para el desarrollo de alta confiabilidad, cubriendo la gestión de paquetes de proyectos, seguimiento de dependencias y verificación automatizada de propiedades de código. También soporta el diseño de interfaces agnósticas al lenguaje, permitiendo a los desarrolladores definir estructuras de datos compartidas y contratos de servicio que aseguran una validación consistente en diversos componentes de software.

Diaphora es una herramienta de comparación binaria y motor de similitud diseñado para comparar binarios compilados e identificar secciones de código cambiadas o coincidentes. Funciona como un complemento de ingeniería inversa que mapea las relaciones entre funciones y detecta unidades de compilación utilizando análisis de ensamblador y teoría de grafos. El proyecto se especializa en el análisis de parches de vulnerabilidad, lo que permite a los usuarios detectar correcciones de seguridad comparando diferentes versiones de un binario. Sincroniza metadatos de análisis, como nombres de símbolos y comentarios, entre binarios y genera parches comparando pseudocódigo descompilado. El motor utiliza grafos de flujo de control y coincidencia heurística para calcular índices de similitud entre funciones. Sus capacidades más amplias incluyen el mapeo de grafos de llamadas, la identificación de límites de archivos de objetos y la gestión del estado de análisis a través de una base de datos relacional para facilitar la referencia cruzada a gran escala.

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