Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
Wangle is a framework providing a set of common client/server abstractions for building services in a consistent, modular, and composable way.
Pangolin is a lightweight portable rapid development library for managing OpenGL display / interaction and abstracting video input.
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
Low Level Graphics Library (LLGL) is a thin abstraction layer for the modern graphics APIs OpenGL, Direct3D, Vulkan, and Metal
- renderer
- d3d11
- d3d12
- opengl
PDAL is Point Data Abstraction Library. GDAL for point cloud data.
Platform Abstraction C++ Libraries
eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
fccf: A command-line tool that quickly searches through C/C++ source code in a directory based on a search string and prints relevant code snippets that match the query.
- abstract-syntax-tree
- c-language
- c-programming
- clang
Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.
- vulkan
- vulkan-wrapper
- vulkan-library
- vulkan-cpp
Cross-platform C++ framework that allows you to quickly initialize Vulkan and provides easy-to-use abstraction above main objects
- cplusplus
- cplusplus-17
- cpp
- fast