Coq tactics for certification of the results of SSL-based program synthesis via the Verified Software Toolchain.
-
Updated
Mar 3, 2021 - Coq
Coq tactics for certification of the results of SSL-based program synthesis via the Verified Software Toolchain.
Simple plugin to create your own signature line for non harmonic distortions
Учебные материалы для проведения лабораторных работ по дисциплине Шаблоны проектирования программного обеспечения на ЯП Java.
A polyrhythmic MIDI arpeggiator based on harmonic ratios.
JUCE modules with a certain vibe
Readout of Plugin information from Gig Performer .gig files or Plugin Manager settings
Add a description, image, and links to the vst topic page so that developers can more easily learn about it.
To associate your repository with the vst topic, visit your repo's landing page and select "manage topics."