RSS 1 project tagged "articles"

Download Website Updated 10 Jul 2012 Theorem linker

Screenshot
Pop 19.29
Vit 25.48

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

nftables

A configuration tool for managing Linux kernel packet filtering rules of the nf_tables packet filter.

Screenshot

Project Spotlight

pydiction

A program that allows users to auto-complete Python code in Vim.