C++ / program analysis

Hint: Click ↑ Pushed to see the most recently updated apps and libraries or click Growing to repos being actively starred .
0
souffle 🌿
272 (+0) ⭐

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

0
cpp_book 🌿
29 (+0) ⭐

Select exercises from C++ Programming - From Problem Analysis to Program Design 5th Edition

0
phasar 🌿
334 (+0) ⭐

A LLVM-based static analysis framework.

0
ikos 🌿
1240 (+0) ⭐

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

0
cppcheck 🌿
2669 (+2) ⭐

static analysis of C/C++ code

0
FairRoot 🌿
35 (+0) ⭐

C++ simulation, reconstruction and analysis framework for particle physics experiments

0
pa.llvm 🍂
34 (+0) ⭐

Program Analysis for LLVM

0 comments    
0
swan 🌿
7 (+0) ⭐

A Swift Program Analysis Framework

0
trdrop 🌿
86 (+0) ⭐

trdrop - a raw video analysis program

0 comments    
0
DFTFringe 🌿
14 (+0) ⭐

DFTFringe Telescope Mirror interferometry analysis Program.

0 comments    
94906 C++ libraries
(19732 libraries)
Go
(91383 libraries)
(49722 libraries)
(15851 libraries)
(28309 libraries)
C#
(44258 libraries)
(23873 libraries)
(43547 libraries)
(13912 libraries)
(9907 libraries)
(24369 libraries)
(16177 libraries)
(158119 libraries)
(15157 libraries)
Vue
(13862 libraries)
CSS
(73621 libraries)
(65949 libraries)
(56152 libraries)
(11557 libraries)
C++
(94906 libraries)
C
(78815 libraries)
(46061 libraries)
(39300 libraries)
(10877 libraries)
(66000 libraries)
PHP
(98154 libraries)
(123735 libraries)
(128747 libraries)
(6446 libraries)
Nim
(4099 libraries)
D
(11129 libraries)
(40066 libraries)
(2531 libraries)