Kammerjäger is a debugging tool with integrated correctness proving.
Google Colab GPU access in your favorite programming language
The Co-Simulation Adaptation Platform
Library for easy multithreading programming
A coding style checker tool support C/C++ syntax