CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Com
Coq12mit
6 months ago
compcertcoqgraph-algorithms
JUCE
JUCE is an open-source cross-platform C++ application framework for desktop and
C++6008other
2 months ago
aaxauaudio