The reverse mathematics zoo, founded by Damir Dzhafarov and with recent development by Eric Astor, aims to be a database showing the relations and dependencies of mathematical theorems as described in the theory of reverse mathematics.
The system accepts new contributions, and is capable of generating diagrams showing the relations.
For example, the current results.txt file and the database is available in the rmzoo.zip file.