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