There are many projects working to improve the trustability of software. This is an informal list of some that we think are interesting.
We're happy to add projects to the list. In future we may formalize criteria for inclusion.