-
Whipper is a free secure digital audio extraction software (aka "CD ripper") for GNU/Linux operating systems based on the discontinued morituri.
#Product Presentation #Video #Audio & Music 12 social mentions
-
Splint Home Page
I often like to say that Rust's bindings are a way to trick people into writing the compile-time safety annotations that they didn't want to write for things like splint. (Seriously. Look into how much splint is capable of checking with the correct annotations.).
#Code Analysis #Code Coverage #Code Review 9 social mentions