Search Results for "java 2 sdk"

The command-line utility dvisvgm is a tool for TEX/LATEX users. It converts DVI, EPS, and PDF files to the XML-based vector graphics format SVG. In contrast to bitmap graphics, vector graphics are arbitrarily scalable without loss of quality. All modern web browsers support a large amount of the current SVG standard 1.1. Furthermore, SVG files can also be displayed with the Java-based Squiggle SVG browser which is part of the Apache Batik project, and the free vector graphics editor Inkscape.

LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures. LaTeXDraw runs on top of Linux, Windows, and Mac OS X. Using the MacOSX installer, you may face this error: “LaTeXDraw” is damaged and can't be opened. You should eject the disk image.

LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures.

Handles .bib formatting with two-way interaction (save & load).

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

...GraTeX incorporates common editing mechanisms like saving/loading projects, undo-redo & copy-paste operations, and many other useful features. The application has been developed by two students of University of Science and Technology in Krakow, Poland.

MieZ is a WYSIWYG-editor for TikZ documents. This project is now being developed on http://github.com/Antimon2000/MieZ

Some text parser, that transforms a custom TeX-like syntax into XML. Un parseur, qui produit du XML à partir d'une syntaxe ressemblant à TeX.

A Web-Application working in conjunction with the obby protocol to view documents written by other people live on a website, integrated with mediawiki and equipped with full LaTex support. It's main purpose is Real-Time Note-Taking at University

The BibXML Editor helps to manage bibliography information stored in an XML-based file. Export filters allows to generate BibTex files or HTML pages.

BibTeXlib is a BibTeX library written in JAVA. You can use it to extract information from BibTeX files, manipulate this information, and save it to BibTeX files.

TeX4Java is a parser for the TeX language written in Java. The boxworld is created as Java objects providing an API to create own representations of the document. TeX4Java includes two representations as well: TeXImage and TeXPresenter.

A Java library for writing LaTeX files.

JBib2HTML is a Java based software that converts bibtex files to HTML format. It comes with predefined conversion templates and is easily extensible so that you can create your own custom implementations of exports.

A Maven plug-in to generate code (and documentation) from sources written in Noweb.