Awesome GitHub RepositoriesRuntime Debugging Tools

Der Linux-Kernel ist ein monolithischer Betriebssystemkern, der Hardwareressourcen, Speicher und Prozessplanung über verschiedene Computerarchitekturen hinweg verwaltet. Er bietet eine standardisierte, POSIX-konforme Umgebung für die Anwendungsausführung und pflegt gleichzeitig ein modulares Treiber-Framework, das das dynamische Laden und Entfernen von Hardwareschnittstellen ermöglicht. Das Projekt zeichnet sich durch sein leistungsstarkes Concurrency-Toolkit aus, das sperrenfreie Synchronisationsprimitive und Read-Copy-Update-Mechanismen verwendet, um den Zugriff auf gemeinsame Daten in Multi-Core-Umgebungen zu verwalten. Es enthält eine umfassende Kernel-Tracing- und Instrumentierungssuite, die eine nicht-intrusive Überwachung von Systemereignissen, Funktionsausführungen und Latenzmetriken ermöglicht. Darüber hinaus erzwingt der Kernel strenge Garantien für die Schnittstellenstabilität und Lebenszyklusverfolgung, um die Abwärtskompatibilität für abhängige Anwendungen sicherzustellen. Über seine Kernidentität hinaus enthält das System umfangreiche Fähigkeiten für Hardware-Abstraktion, Netzwerkprotokoll-Implementierung und die Durchsetzung von Sicherheitsrichtlinien. Es unterstützt spezialisierte Engineering-Anforderungen durch Energiestatusmanagement, Optimierungen für eingebettete Systeme und firmwarebasierte Boot-Prozesse. Die Architektur bietet zudem robuste Diagnose-Frameworks für Speicheranalyse, Systemausführungsverifizierung und die Validierung gleichzeitiger Programmiermodelle. Das Quell-Repository bietet ein vollständiges Build-System zur Transformation von Code in ausführbare Binär-Images, einschließlich Tools für die Kernel-Funktionsauswahl und Konfigurationsoptimierung, um die Ausgabe auf spezifische Hardwareanforderungen zuzuschneiden.

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 ist ein komponentenbasiertes Framework für die Entwicklung und Bereitstellung von Embedded- und Raumfahrtsoftware. Es bietet eine modulare Architektur, die Softwarelogik von Kommunikationsschnittstellen entkoppelt und es Entwicklern ermöglicht, Systemstrukturen über eine domänenspezifische Modellierungssprache zu definieren. Dieser modellbasierte Ansatz ermöglicht eine automatisierte Codegenerierung, die Konsistenz über komplexe Systemtopologien hinweg gewährleistet und gleichzeitig strikte Schnittstellenverträge zwischen Softwaremodulen aufrechterhält. Das Framework zeichnet sich durch sein integriertes Build-System und eine Suite für Bodendatenoperationen aus. Es automatisiert den gesamten Lebenszyklus von Embedded-Software, von der Cross-Kompilierung und dem Abhängigkeitsmanagement bis hin zur Generierung von Telemetrie- und Befehlsschnittstellen. Durch die Bereitstellung einer einheitlichen Umgebung für Onboard-Flugsoftware und bodengestützte Überwachung erleichtert es die nahtlose Integration, das Testen sowie die Steuerung und Überwachung verteilter Embedded-Systeme über verschiedene Hardwareplattformen hinweg. Über die Kernarchitektur hinaus enthält das Projekt umfassende Werkzeuge für die Systembeobachtbarkeit, einschließlich Echtzeit-Telemetrie-Visualisierung, Ereignisprotokollierung und diagnostischer Tracing-Funktionen. Es unterstützt eine breite Palette von Bereitstellungsszenarien, von Bare-Metal-Umgebungen bis hin zu Echtzeitbetriebssystemen, und bietet Mechanismen für Speicherverwaltung, zustandsgesteuerte Verhaltensmodellierung und asynchrone Aufgabenausführung. Das Projekt wird als C++-Repository mit umfangreicher Dokumentation und Build-System-Unterstützung für die plattformübergreifende Entwicklung gepflegt.

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 ist eine experimentelle Programmiersprache und Entwicklungsplattform, die für maschinengestützte Softwarekonstruktion entwickelt wurde. Sie kombiniert funktionale Programmiersemantik mit imperativer Syntax, um logische Korrektheit und Laufzeitsicherheit zu erzwingen, und bietet eine typsichere Umgebung, die strukturierte Datenmodelle nutzt, um die Informationsintegrität über den gesamten Anwendungslebenszyklus hinweg zu wahren. Die Plattform zeichnet sich durch eine tiefe Integration mit formalen Verifizierungstools aus, einschließlich automatisierter Theorem-Prover und symbolischer Ausführungs-Engines. Durch die Transformation von Quellcode in eine regularisierte Zwischenrepräsentation ermöglicht das System automatisiertes Schlussfolgern, um das Fehlen von Laufzeitfehlern und Logikverletzungen zu beweisen. Zudem ist die Laufzeitumgebung auf vorhersagbare Performance ausgelegt und nutzt einen spezialisierten Interpreter, der Garbage-Collection-Pausen eliminiert, um eine konsistente Ausführungslatenz zu gewährleisten. Das Projekt bietet eine umfassende Suite von Tools für die Entwicklung mit hoher Zuverlässigkeit, die Projekt-Paketmanagement, Abhängigkeitsverfolgung und automatisierte Code-Eigenschaftsverifizierung abdeckt. Es unterstützt zudem sprachunabhängiges Schnittstellendesign, was es Entwicklern ermöglicht, gemeinsame Datenstrukturen und Service-Verträge zu definieren, die eine konsistente Validierung über verschiedene Softwarekomponenten hinweg sicherstellen.

Diaphora ist ein Binär-Diffing-Tool und eine Ähnlichkeits-Engine, die entwickelt wurde, um kompilierte Binärdateien zu vergleichen und geänderte oder übereinstimmende Codeabschnitte zu identifizieren. Es fungiert als Reverse-Engineering-Plugin, das Beziehungen zwischen Funktionen abbildet und Kompilierungseinheiten mittels Assembler-Analyse und Graphentheorie erkennt. Das Projekt ist auf die Analyse von Sicherheits-Patches spezialisiert und ermöglicht es Benutzern, Sicherheitskorrekturen durch den Vergleich verschiedener Versionen einer Binärdatei zu erkennen. Es synchronisiert Analyse-Metadaten, wie Symbolnamen und Kommentare, zwischen Binärdateien und generiert Patches durch den Vergleich von dekompiliertem Pseudocode. Die Engine nutzt Kontrollflussgraphen und heuristisches Matching, um Ähnlichkeitsverhältnisse zwischen Funktionen zu berechnen. Zu den weiteren Fähigkeiten gehören das Abbilden von Aufruf-Graphen, das Identifizieren von Objektdatei-Grenzen und die Verwaltung des Analysestatus über eine relationale Datenbank, um groß angelegte Querverweise zu erleichtern.

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