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
Cross-platform DICOM implementation
java tools
Open Source C/C++/Java libraries from Unicode
C++ library for flexible logging
Eclipse 4diac the open source solution for industrial automation
Object-oriented equation-based modelling and optimisation software