#
Starred repositories
A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries
scpptool is a command line tool to help enforce a memory and data race safe subset of C++.
A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types
Minimal, self-hosted, 0-config alternative to ngrok. Caddy+OpenSSH+50 lines of Python.
Wiretap is a transparent, VPN-like proxy server that tunnels traffic via WireGuard and requires no special privileges to run.
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.
A Tunnel which Turns UDP Traffic into Encrypted UDP/FakeTCP/ICMP Traffic by using Raw Socket,helps you Bypass UDP FireWalls(or Unstable UDP Environment)
Guaranteed compile-time string literal obfuscation header-only library for C++14
List of single-file C/C++ libraries, with emphasis on clause-less licenses.
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
CodeHawk Abstract Interpretation Engine and Analyzers
C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…
A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.
APISpecGen: Generating API Specifications for Bug Detection via Specification Propagation Analysis （NDSS 2025）
ACL2 System and Books as Maintained by the Community
A new way to see and navigate directory trees : https://dystroy.org/broot
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.