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–8 of 8 · Most stars
OpenGL capture / playback debugger.
CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.
- static-analysis
- code-comprehension
- cpp
- code-analysis
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
Cancer Imaging Phenomics Toolkit (CaPTk) is a software platform to perform image analysis and predictive modeling tasks. Documentation: https://cbica.github.io/CaPTk
- cancer-imaging-research
- radiomics
- radiomics-features
- machine-learning
Modern build tool for software projects
- c-plus-plus
- javascript
- qt
A cross-platform Vulkan layer which checks Vulkan applications for best practices on Arm Mali devices.
CMake BASIS makes it easy to create sharable software and libraries that work together. This is accomplished by combining and documenting some of the best practices and utilities available. This project supplies a fully integrated suite of functionality to make the whole process seamless!
- cmake
- project-template
- project-creation
- cmake-basis