Apple CUPS Sources

Tools to help detect Hacking Team malware

first one

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.