47 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 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 14 May 2011
wiki2beamer
| Pop | 48.00 |
|---|---|
| Vit | 4.88 |
Wiki2Beamer is a small tool to create LaTeX Beamer presentations from text files with a wiki-like syntax. Thus, it enables the user to create beamer presentations in a less time-consuming way.
Updated 28 Oct 2010
LaTeX::Table
| Pop | 90.18 |
|---|---|
| Vit | 9.02 |
LaTeX::Table is a Perl module that provides functionality for an intuitive generation of LaTeX tables. It ships with some predefined, good-looking table styles. This module supports multi-page tables via the xtab and longtable LaTeX packages. For publication quality tables, it utilizes the booktabs package. It also supports the tabularx and tabulary packages for nicer fixed-width tables. Furthermore, it supports the colortbl package for colored tables optimized for presentations. The ltpretty program makes it easy to use this module from within a text editor such as Vim or emacs.
Updated 21 Sep 2010
Figtex2eps
| Pop | 24.58 |
|---|---|
| Vit | 60.23 |
Figtex2eps is a bash script for automating the process of creating Postscript images (or PDF) with embedded LaTeX symbols and alike made with Xfig.
Updated 30 May 2010
Karaoke con SMIL
| Pop | 15.59 |
|---|---|
| Vit | 1.00 |
Karaoke con SMIL is a project to synchronize audio, text, and images and export the final result to SMIL, which can be played in multimedia players such as Real Player, Helix Player, Ambulant Player, etc. on several devices (computers, mobile phones, PDAs, etc.). In short, this application synchronizes the multimedia elements in a way similar to karaoke.
Updated 09 Mar 2010
pdfrecycle
| Pop | 53.33 |
|---|---|
| Vit | 2.51 |
pdfrecycle creates a PDF file by composing pages from other PDF files. It can add PDF bookmarks and metadata, scale, rotate, and crop pages, and put multiple logical pages onto each physical sheet. pdfrecycle uses a simple text file format to define the layout and what pages to include. From this input file pdfrecycle creates a LaTeX file and then runs pdflatex to produced the PDF file.
Updated 09 Dec 2009
Bibi
| Pop | 50.08 |
|---|---|
| Vit | 2.87 |
Bibi is a graphical editor and manager for BibTeX Files. Features include merging files, key generation, detection of duplicate entries, creation of new entries from templates and from PubMed/Medline records, searching entries, and exporting as XML.
