Theorem Linker is a program used to visualize references between theorems in a paper written using LaTeX. Using a .tex document (and a .aux file, created by the LaTeX compiler), Theorem Linker will search through a paper, find theorems, and find references to other theorems within a theorem's "proof". It will then create a digraph in a .dot file (to be opened with programs such as Graphviz or OmniGraffle) that will display each theorem as a node, with directed edges to describe the relations between the theorems. A path highlighted in red describes the longest path in the graph. Theorem Linker will also create folders containing graphs to individually show relations of each theorem in a paper.
code2flow is an experimental script which sweeps through your project source code, looking for function definitions, then does another sweep, looking for where those functions are called. It connects the dots and presents you with a flowchart estimating the functional structure of your program. It is especially useful for untangling spaghetti code and getting new developers up to speed. code2flow is experimental and meant to provide a rough overview of the structure of simple projects. Source code which is just a little esoteric will break this. Even with normal code, there are many known limitations and many outright bugs.