Awesome GitHub RepositoriesRuntime Debugging Tools

Linux 内核是一个单体操作系统核心，管理跨不同计算架构的硬件资源、内存和进程调度。它为应用程序执行提供了一个标准化的、符合 POSIX 的环境，同时维护了一个模块化的驱动程序框架，允许动态加载和移除硬件接口。 该项目以其高性能并发工具包而著称，该工具包利用无锁同步原语和读取-复制-更新（RCU）机制来管理多核环境中的共享数据访问。它包含了一套全面的内核跟踪和仪表化套件，能够对系统事件、函数执行和延迟指标进行非侵入式监控。此外，内核强制执行严格的接口稳定性保证和生命周期跟踪，以确保依赖应用程序的向后兼容性。 除了核心身份外，该系统还包括用于硬件抽象、网络协议实现和安全策略执行的广泛能力。它通过电源状态管理、嵌入式系统优化和基于固件的引导过程支持专业工程需求。该架构还具有用于内存分析、系统执行验证和并发编程模型验证的强大诊断框架。 源代码仓库提供了一个完整的构建系统，用于将代码转换为可执行的二进制镜像，包括用于内核功能选择和配置优化的工具，以针对特定硬件需求定制输出。

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 是一个基于组件的框架，专为嵌入式和航天软件的开发与部署而设计。它提供了一种模块化架构，将软件逻辑与通信接口解耦，允许开发者通过领域特定建模语言定义系统结构。这种基于模型的方法支持自动化代码生成，在确保复杂系统拓扑一致性的同时，维护了软件模块之间严格的接口契约。 该框架的特色在于其集成的构建系统和地面数据操作套件。它实现了嵌入式软件全生命周期的自动化，从交叉编译和依赖管理到遥测与命令接口的生成。通过为机载飞行软件和地面监控提供统一的环境，它促进了跨不同硬件平台的分布式嵌入式系统的无缝集成、测试及指挥控制。 除了核心架构外，该项目还包含用于系统可观测性的综合工具，包括实时遥测可视化、事件日志记录和诊断追踪。它支持从裸机环境到实时操作系统的多种部署场景，并提供了内存管理、状态驱动行为建模和异步任务执行机制。 该项目以 C++ 仓库形式维护，并提供详尽的文档和支持跨平台开发的构建系统。

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 is an experimental programming language and development platform designed for machine-assisted software construction. It combines functional programming semantics with imperative syntax to enforce logic correctness and runtime safety, providing a type-safe environment that utilizes structured data models to maintain information integrity throughout the application lifecycle. The platform distinguishes itself through deep integration with formal verification tools, including automated theorem provers and symbolic execution engines. By transforming source code into a regularized intermed

Diaphora 是一款二进制差异分析工具和相似度引擎，旨在比较编译后的二进制文件并识别已更改或匹配的代码段。它作为逆向工程插件运行，通过汇编分析和图论映射函数之间的关系并检测编译单元。 该项目专注于漏洞补丁分析，允许用户通过比较二进制文件的不同版本来检测安全修复。它在二进制文件之间同步分析元数据（如符号名称和注释），并通过比较反编译的伪代码来生成补丁。 该引擎利用控制流图和启发式匹配来计算函数之间的相似度比率。其更广泛的功能包括映射调用图、识别目标文件边界，以及通过关系数据库管理分析状态，以促进大规模的交叉引用。

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