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