RSS 125 projects tagged "TeX/LaTeX"

Download Website Updated 08 Apr 2014 AutoLaTeX

Screenshot
Pop 598.73
Vit 106.12

AutoLaTeX is a tool for managing small to large LaTeX documents. It detects which files which are used to build the document (included TeX files, BibTeX, figures, etc.), and launches the various different tools (latex, bibtex, makeindex) when the sources files have been changed. It provides translation rules which automatically generate figures in EPS, PNG, or PDF formats from different types of sources (dia, xfig, svg, astah, source code, etc.) AutoLaTeX also provides graphical user interfaces, a plugin for the editors Gedit and Sublime Text, and a standalone Gtk application.

Download Website Updated 03 Mar 2014 tex-upmethodology

Screenshot
Pop 311.39
Vit 38.68

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.

Download Website Updated 04 Jan 2014 Texmaker

Screenshot
Pop 444.30
Vit 41.72

Texmaker integrates many tools needed to develop documents with LaTeX in just one application.

Download Website Updated 21 Sep 2013 TeXcount

Screenshot
Pop 30.76
Vit 14.68

TeXcount is a Perl script for counting words in LaTeX documents. It parses valid LaTeX documents counting words, headers, formulae (mathematics), and floats/begin-end groups. To run the script, you can either download it and run it on your own computer, or you can use the Web interface. TeXcount is included in the CTAN TeX/LaTeX archive, and thus included in several TeX distributions. If you have TeX installed, chances are you may already have TeXcount.

No download Website Updated 16 Sep 2013 TeX Live

Screenshot
Pop 104.96
Vit 5.26

TeX Live is an easy way to get up and running with TeX. It provides a comprehensive TeX system with binaries for most flavors of Unix, including GNU/Linux, and also Windows. It includes all the major TeX-related programs, macro packages, and fonts that are free software, including support for many languages around the world.

Download Website Updated 12 Sep 2013 bibtex2html

Screenshot
Pop 75.46
Vit 5.57

bibtex2html is a collection of tools for translating BibTeX bibliographies to HTML. It can handle any BibTeX style (even those producing multiple bibliographies), use additional fields (like "abstract", "url", and "ps") to insert Web links, replace cross-references with links, sort on various fields, process simple (La)TeX macros, identify syntax errors in BibTeX files, and filter BibTeX entries based on a given criterion.

Download Website Updated 24 May 2013 Hilbert II

Screenshot
Pop 129.98
Vit 17.85

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

Download Website Updated 19 Apr 2013 ChkTeX

Screenshot
Pop 82.81
Vit 10.15

ChkTeX finds syntax and typographical errors in LaTeX text.

Download Website Updated 01 Feb 2013 brightmare

Screenshot
Pop 41.18
Vit 4.32

BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.

Download Website Updated 05 Nov 2012 cb2Bib

Screenshot
Pop 144.19
Vit 21.94

The cb2Bib is a tool for rapidly extracting bibliographic references from email alerts, journal Web pages, and PDF files. It facilitates the capture of single references from unformatted and non standard sources. Output references are written in BibTeX. Article files can be easily linked and renamed by dragging them onto the cb2Bib window. Additionally, it permits editing and browsing BibTeX files, citing references, searching references and the full contents of the referenced documents, inserting bibliographic metadata to documents, and writing short notes that interrelate several references.

Screenshot

Project Spotlight

ips-qos

A flexible firewall and traffic shaping tool for Linux.

Screenshot

Project Spotlight

SBuild

A Scala-based build system.