RSS 1 project tagged "GPL v3"

Download Website Updated 10 Jul 2012 Theorem linker

Screenshot
Pop 19.08
Vit 25.56

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.

Screenshot

Project Spotlight

Google Map GPS Cell Phone Tracker

Web server and phone client applications for periodically tracking android, iOS, Windows Phone, and Jave ME cellphones.

Screenshot

Project Spotlight

remoteEncFs

Support for using an remote file system encrypted with encfs.