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.
Build audio plugins using JavaScript
Simple plugin to create your own signature line for non harmonic distortions
An app that lets you paint on sound
StereoSanction MultiFX - VST3 Multi-effect based on fractional delay line algorithm. It can achieve popular audio effects such as delay, vibrato, chorus, flanger, ring modulator, tremolo, overdrive, distortion and fuzz. GUI designed to be welcoming for every audio enthousiast, without the clutter of modern apps serving similar purpose.
A Mastodon client for VST
A sample manager audio plug-in for automatic sample analysis and clustering.
Online resources for learning digital signal processing and audio plugin design.
An audio plug-in that implements a waveshaper in which the transfer function of each channel is an automatable spline.
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."