linked to me from https://twitter.com/cattheory/status/1220803662802489344 (by Joomy Korkut, PhD student in programming languages at Princeton https://cs.princeton.edu/~ckorkut/) — « not a language but a way to reason about C programs in Coq: VST lets you define separation logic predicates that describe how a Coq type would be represented in C: https://cs.princeton.edu/~appel/vc/Verif_reverse.html#lab32 \n\n might be interesting to you, or not, I don't know. » at 9:20 PM CET on Jan 24, 2020
Steinberg steht weltweit für professionelle Audio Software- und Hardware-Lösungen. Das Unternehmen entwickelt, produziert und verkauft seit 1984 innovative Produkte für Musiker und Produzenten aus den Bereichen Musik, Film, Post Production und Multimedia. Steinberg Produkte werden von Grammy®- und Oscar®-prämierten Komponisten, Toningenieuren und Produzenten eingesetzt. Die Firma bietet darüber hinaus Lizenzmanagement- und Kopierschutz-Systeme für Geschäftskunden an.
Steinberg steht weltweit für professionelle Audio Software- und Hardware-Lösungen. Das Unternehmen entwickelt, produziert und verkauft seit 1984 innovative Produkte für Musiker und Produzenten aus den Bereichen Musik, Film, Post Production und Multimedia. Steinberg Produkte werden von Grammy®- und Oscar®-prämierten Komponisten, Toningenieuren und Produzenten eingesetzt. Die Firma bietet darüber hinaus Lizenzmanagement- und Kopierschutz-Systeme für Geschäftskunden an.
WAVOSAUR is a free audio editor for Windows with VST plugins support. The program is ASIO compatible, can do loop points edition, auto-trim, noise removal etc.
Steinberg steht weltweit für professionelle Audio Software- und Hardware-Lösungen. Das Unternehmen entwickelt, produziert und verkauft seit 1984 innovative Produkte für Musiker und Produzenten aus den Bereichen Musik, Film, Post Production und Multimedia. Steinberg Produkte werden von Grammy®- und Oscar®-prämierten Komponisten, Toningenieuren und Produzenten eingesetzt. Die Firma bietet darüber hinaus Lizenzmanagement- und Kopierschutz-Systeme für Geschäftskunden an.
Steinberg steht weltweit für professionelle Audio Software- und Hardware-Lösungen. Das Unternehmen entwickelt, produziert und verkauft seit 1984 innovative Produkte für Musiker und Produzenten aus den Bereichen Musik, Film, Post Production und Multimedia. Steinberg Produkte werden von Grammy®- und Oscar®-prämierten Komponisten, Toningenieuren und Produzenten eingesetzt. Die Firma bietet darüber hinaus Lizenzmanagement- und Kopierschutz-Systeme für Geschäftskunden an.