RSS 12 projects tagged "TeX/LaTeX"

Download Website Updated 08 Sep 2002 allbib

Screenshot
Pop 22.32
Vit 1.02

allbib creates, modifies, and checks files that are understood by BibTeX, and provides a graphical interface for all these operations.

Download Website Updated 04 Sep 2012 ePiX

Screenshot
Pop 196.15
Vit 21.22

ePiX creates mathematically accurate, publication-quality figures, plots, and animations. The input syntax is easy to learn, and the output is expressly designed for use with LaTeX. Complete documentation and dozens of sample files are included.

Download Website Updated 14 Apr 2003 PMathGen

Screenshot
Pop 32.22
Vit 1.74

PMathGen is a random simple math problem generator. From the operators, format, etc. specified on the command line or in a worksheet description file, it generates LaTeX and optionally PostScript files that can be used as math worksheets.

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 21 Sep 2003 LaTeX Service

Screenshot
Pop 29.75
Vit 1.00

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

Download Website Updated 30 Sep 2007 ASCIIMathML

Screenshot
Pop 79.18
Vit 2.76

ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.

Download Website Updated 20 Nov 2008 Web Reference Database

Screenshot
Pop 93.64
Vit 2.70

refbase is a Web-based bibliographic manager that can import and export references in various formats (including BibTeX, Endnote, ISI, RIS, PubMed, MODS XML, OpenOffice, and Word 2007 XML). It can make formatted lists of citations in HTML, RTF, PDF, or LaTeX, and offers powerful searching and RSS support. Its OpenSearch and SRU/W services and support for unAPI and COinS metadata allow for easy access by clients and search engines.

Download Website Updated 20 Jul 2004 Migma

Screenshot
Pop 26.76
Vit 1.41

Migma is a command-line tool that helps teachers create several different multiple-choice exams based on an original along with their respective answer sheets.

Download Website Updated 20 Apr 2014 Asymptote

Screenshot
Pop 744.13
Vit 386.22

Asymptote is a powerful descriptive 2D and 3D vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. It provides for figures the same high-quality level of typesetting that LaTeX does for scientific text. Asymptote is a programming language as opposed to just a graphics program. It can exploit the best features of script (command-driven) and graphical user interface (GUI) methods. High-level graphics commands are implemented in the language itself, allowing them to be easily tailored to specific applications.

Download Website Updated 06 Dec 2004 PHP Runner

Screenshot
Pop 42.37
Vit 58.53

PHP Runner is a simple but useful program for easily previewing a PHP file without saving or uploading it to a server. It has a friendly interface with useful tools such as buttons for the most frequently used PHP functions to make scripting easier and faster.

Screenshot

Project Spotlight

ncdc

An NCurses-based Direct Connect client.

Screenshot

Project Spotlight

Amac Keylogger Standard

A key logger.