Datalog variant for tool designers crafting analyses in Horn clauses
Export disassemblies into Protocol Buffers
A static analyzer for Java, C, C++, and Objective-C
Toolkit for making machine learning and data analysis applications
Cross-platform C++ library for use as a default application framework.
Static source code analysis tool for C and C++ code
Dynamic and static analysis with Sandboxie for Windows, including EDR
A code generator for connecting C/C++ with other programming languages
SDL library for Android, including several games.
Logging Framework for C++
A graphical text difference analyzer
Please go to the GitHub page for more information
Collection of fast and optimized assembly libraries for x86-64 Linux
Eclipse 4diac the open source solution for industrial automation
Open Source C/C++/Java libraries from Unicode
java tools
A Database System for Metamodeling and Method Engineering
C++ library for flexible logging
Cross-platform DICOM implementation