140 projects tagged "TeX/LaTeX"

No download Website Updated 21 Sep 2010 Figtex2eps

Pop 21.26
Vit 63.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.

Download Website Updated 24 May 2013 Hilbert II

Pop 128.50
Vit 17.03

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".

No download Website Updated 09 Oct 2003 Bibkeeper

Pop 45.61
Vit 2.26

Bibkeeper is a Java graphical interface for working with BibTeX (.bib) databases. The intention is to provide a user-friendly tool for accessing and editing your bibliographical databases.

Download Website Updated 01 Dec 2009 pdfTeX

Pop 217.68
Vit 7.28

pdfTeX is an extended version of TeX that can create PDF directly from TeX source files and enhance the result of TeX typesetting with the help of PDF. When PDF output is not selected, pdfTeX produces normal DVI output, otherwise it produces PDF output that looks identical to the DVI output. An important aspect of this project is to investigate alternative justification algorithms, optionally making use of multiple master fonts.

No download Website Updated 15 Dec 2003 malavita

Pop 13.71
Vit 1.00

malavita (Mattia's LaTeX Viewgraph Tactics) is a package which uses LaTeX to produce nice (though not particularly spiffy) viewgraphs intended for (mostly) scientific presentations.

Download Website Updated 24 Apr 2006 LaTeXDB

Pop 52.42
Vit 2.00

LaTeXDB brings together LaTeX and a MySQL database. You can use SQL queries in your LaTeX document and loop over the result sets creating tables, serial letters, and other stuff.

Download Website Updated 25 Aug 2003 PSTricks

Pop 23.13
Vit 1.00

PSTricks is a package for TeX and LaTeX which lets you use most PostScript capabilities. It can be used for drawing lines, curves, trees, polygons, and other kinds of diagrams.

No download Website Updated 04 Oct 2004 TeXfig

Pop 24.49
Vit 1.49

TeXfig is a small tool which uses LaTeX for setting the text in xfig documents. This is useful for producing figures with complicated text elements like formulas.

Download Website Updated 21 Dec 2003 RapidTeX

Pop 22.72
Vit 1.75

RapidTeX is an easy document markup language that focuses on exporting to LaTeX and HTML. The source files are far more intuitive since they resemble plain text files more than HTML or LaTeX, are faster to edit, and are easier to read. But extensive features like graphics, complicated tables, and lists are also supported. Unicode (UTF-8) is also supported, and takes a key position in this document markup language.

Download Website Updated 21 Sep 2003 LaTeX Service

Pop 30.41
Vit 1.00

LaTeX Service returns a LaTeX rendering of selected text as a TIFF image.


Project Spotlight

ALT Linux

An original set of Linux distributions.


Project Spotlight

OAQL Server

An Oriented Architecture Query Language Server.