89 projects tagged "TeX/LaTeX"
Updated 24 May 2013
Hilbert II
| Pop | 321.25 |
|---|---|
| Vit | 540.96 |
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Updated 23 May 2013
AutoLaTeX
| Pop | 303.66 |
|---|---|
| Vit | 137.27 |
AutoLaTeX is a tool for managing small to large sized LaTeX projects. The typical AutoLaTeX input file is simply a series of variable definitions in a Makefile for the project. This Makefile was automatically generated by a provided Perl script. The user can easily perform all required steps to do such tasks as preview the document or produce a PDF file. AutoLaTeX will keep track of files that have changed and how to run the various programs that are needed to produce the output. One of the best features of AutoLaTeX is to provide translation rules to automatically generate the figures which will be included into the PDF.
Updated 18 May 2013
tex-upmethodology
| Pop | 210.43 |
|---|---|
| Vit | 69.44 |
tex-upmethodology provides a complete set of LaTeX styles that permit you to write documents according to a UP-based methodology. Its major features are document history, task management, design and specification documentation, and helping tools. tex-upmethodology is officially supported by CTAN.
Updated 10 May 2013
LyX
| Pop | 732.45 |
|---|---|
| Vit | 132.41 |
LyX is a document processor that encourages an approach to writing based on the structure of your documents, not their appearance. It is intended for people people who write and want their writing to look great without tinkering with formatting details, font attributes, or page boundaries. On screen, it looks like any word processor, but it uses the TeX engine for printed output and producing richly cross-referenced PDFs. It is stable and fully featured.
Updated 09 May 2013
Texmaker
| Pop | 693.59 |
|---|---|
| Vit | 99.88 |
Texmaker integrates many tools needed to develop documents with LaTeX in just one application.
Updated 07 Apr 2013
Kile
| Pop | 464.33 |
|---|---|
| Vit | 41.99 |
Kile is a user-friendly TeX/LaTeX editor for the KDE desktop environment. It lets you compile, convert, and view your document with one click and features auto-completion of (La)TeX commands, templates and wizards for starting a new document, easy insertion of many standard tags and symbols and the option to add user defined tags, inverse and forward search, collection of documents that belong together into a project, easy insertion of citations and references, a flexible build system, QuickPreview of selected parts of a document, easy access to various help sources, and advanced editing commands.
Updated 11 Oct 2012
Grutatxt
| Pop | 127.35 |
|---|---|
| Vit | 10.40 |
Grutatxt is a plain text to HTML (and other formats) converter. It successfully converts subtle text markup to lists, bold, italics, tables, and headings to their corresponding HTML, troff, man page, or LaTeX markup without having to write unreadable source text files.
Updated 15 Jan 2012
JabRef
| Pop | 225.46 |
|---|---|
| Vit | 5.35 |
JabRef is a graphical Java application for managing bibtex (. bib) databases. It can import bibliographies in numerous formats, provides extensive searching, sorting, and grouping features, can automatically create bibtex keys, and can insert citations into LyX.
Updated 28 Nov 2011
TeXlipse plugin
| Pop | 140.16 |
|---|---|
| Vit | 7.03 |
The TeXlipse plugin adds LaTeX editing support to the Eclipse IDE. It provides both LaTeX and BibTeX editors, a project creation wizard, and a complete user manual of the editor functions. Additional features include syntax highlighting, document outline, section folding, command completion, cite and ref completion, templates, builder integration, viewer integration with inverse search, and more. The plugin makes it possible for LaTeX documents to be edited and built like normal projects in an IDE, and the viewer support makes it easy to check the outcome.
Updated 04 Oct 2011
prerex
| Pop | 60.50 |
|---|---|
| Vit | 6.94 |
prerex is an interactive (command-line) editor and a LaTeX macro support package that can be used to create very attractive and readable prerequisite charts. A graphical front-end for the editor also provides a prerex-enabled PDF viewer. A prerequisite chart is a network of course boxes linked by prerequisite and co-requisite arrows.
