The NASA Langley Formal Methods Team maintains a unique open source collection of mathematical proofs that support the development of safety-critical systems. And some of that code actually shows up in the movies.