2 Repos
Inserting breakpoints into code generation templates to inspect the instantiation context during development.
Distinct from Breakpoint Debugging: Distinct from Breakpoint Debugging: focuses on debugging template instantiation context, not general program execution breakpoints.
Explore 2 awesome GitHub repositories matching development tools & productivity · Template. Refine with filters or upvote what's useful.
Proxyman is a cross-platform HTTP debugging proxy that captures, inspects, and modifies HTTP, HTTPS, and WebSocket traffic. It functions as a man-in-the-middle proxy, decrypting SSL/TLS traffic to allow real-time inspection and modification of encrypted requests and responses. The tool is designed for debugging web and mobile applications, with capabilities for API mocking and simulation, scriptable traffic modification, and team collaboration on network logs. What distinguishes Proxyman is its deep integration with mobile and cross-platform development workflows. It provides automated certif
Provides reusable request and response templates to speed up repeated debugging scenarios.
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
Allows inserting Python breakpoints into templates to inspect the instantiation context during development.