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.
Hypersocket is a cross-platform VPN solution built for all types of remote access scenarios. Powerful, yet simple to use, Hypersocket uses a single installed client to provide access to any number of network resources. Its powerful granular access means you can have fine-grained control over your entire network and remote users. Accessed through a secure HTTPS port, the Hypersocket client provides access to any number of host/port combinations, all assigned server-side by the Administrator through roles. The Administrator is able to configure the server through a Web portal on the same HTTPS port.