94 projects tagged "GPL v3"
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.
DataStatix manages data of every kind, creates statistics and graphs, and exports data easily to the R environment. Its features include user management (create, delete, modify password) within the software, different levels of user data access (administrator, standard, read-only), user-defined templates (models) of data, the ability to create new databases easily, importation and exportation of data in CSV format, and synchronization of existing data from a CSV file created with DataStatix.
wwwhisper is a privacy-friendly system which simplifies sharing Web resources which are not intended for everyone. It allows you to specify which HTTP resources can be accessed by owners of which email addresses. Mozilla Persona is used to prove that a visitor owns an allowed email address. No site-specific password is needed. The Persona UI makes the authentication process really smooth. wwwhisper is application-independent and can be used for any Web resources.
wmphoto+ displays the images in the dockable application window. You can switch the images manually or display them as a slide show. Each image accepts up to two related commands. You can run them using mouse buttons when the application displays the image. Using the alternative configuration directories, you can run a few instances of the program that display the different sets of images.