Awesome GitHub RepositoriesMulti-Threaded Debugging

The C/C++ extension for Visual Studio Code provides language support for C and C++ programming, including IntelliSense-powered code editing, navigation, and debugging capabilities. It enables syntax highlighting, code completion, hover information, and error checking for C and C++ source files, along with features like semantic colorization, symbol search, and call hierarchy exploration. The extension offers comprehensive debugging support for C/C++ programs, including launching debug sessions with breakpoints, stepping through code, and inspecting variables. It supports debugging multi-threa

CppGuide is a curated collection of educational resources and practical guides focused on C++ server development, Linux kernel internals, concurrent programming, network protocols, and security exploitation. It provides structured learning paths for backend developers, covering everything from interview preparation to building high-performance network servers and understanding operating system fundamentals. The guide distinguishes itself by offering in-depth, hands-on tutorials that walk through real-world implementations, including building a Redis-like server from scratch, designing custom

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

Booster est un optimiseur de build et manipulateur de bytecode pour Android conçu pour réduire la taille des binaires, corriger les plantages au niveau système et améliorer les performances des applications. Il fonctionne comme un plugin de processus de build extensible qui modifie les fichiers de classe compilés et les artefacts de build pour injecter des correctifs de stabilité et des optimisations sans altérer le code source original. Le projet se différencie par une manipulation de bytecode de bas niveau pour corriger les bugs au niveau de l'OS et gérer les pools de threads pendant la phase de compilation. Il fournit également une boîte à outils de profilage de performance pour identifier les opérations bloquantes sur le thread principal et analyser les problèmes de stabilité liés aux ressources. L'outil couvre un large éventail de capacités d'optimisation de paquets, incluant la compression d'images pour PNG et WebP, la suppression des ressources redondantes et l'optimisation de l'index des ressources. Les fonctionnalités supplémentaires incluent le réglage des performances pour la gestion des threads, les écritures asynchrones de préférences et l'analyse statique pour scanner les artefacts de build afin de détecter les risques de sécurité et les goulots d'étranglement. Le système utilise une interface de fournisseur de services (SPI) pour l'intégration de plugins personnalisés et peut être exécuté comme une application autonome découplée de l'environnement de build principal.

This project is a thread-safe, asynchronous logging library designed for C++ applications. It provides a comprehensive diagnostic toolkit that enables developers to record system events, track execution flow across multiple threads, and manage log output through severity-based filtering and automated file maintenance. By offloading log formatting and disk input/output to background worker threads, the library minimizes latency on the main execution path, ensuring high performance in time-critical systems. The framework distinguishes itself through its flexible configuration and diagnostic cap

HyperDbg is a hardware-assisted kernel-mode debugging platform that leverages virtualization to monitor and control system execution. By utilizing hypervisor-level primitives, it enables deep system analysis and instrumentation without relying on standard operating system debugging interfaces. The framework provides a comprehensive environment for inspecting both kernel and user-mode processes, allowing for granular control over execution flow and system state. The project distinguishes itself through a transparent debugging layer designed to remain invisible to the target environment. It emp

Blackmagic is a GDB server for embedded hardware that translates GDB remote protocol messages into JTAG and SWD commands. It functions as an ARM and RISC-V debugger and hardware debug probe manager, enabling users to inspect memory, control execution, and manage registers on ARM Cortex and RISC-V cores. The project distinguishes itself by acting as a remote hardware debugging bridge that can stream GDB server traffic over TCP/IP to control physical hardware from a remote machine. It also provides a JTAG and SWD interface to connect host computers to target hardware and serves as an embedded f