Search Results for "java projects on linux" - Page 2

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.

Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python...

Please see https://github.com/davemckain/snuggletex

FigTeX manages images and their easy inclusion in LaTeX documents. Similar to BibTex, the image information is stored in an external file and is imported into the document as needed. It comes with a comfortable GUI for managing the image library.

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

Stymaker is a GUI application assisting LaTeX users with creating their own style packages. After filling a simple form one can get a new package file corresponding to the chosen settings. This package may be included in preamble of LaTeX document by: \usepackage{mystyle} The new package, based on standard LaTeX packages, allows changing of the document layout, or appearance of standard environments like such as lists. While testing new settings one may instantly view actual changes in...

A bundle of lisp extensions, largely original, for GNU Emacs with the goal to obtain a more user friendly and powerful interface. The new features include contextual tool bars, new TeX interface, very complete menus, and a well structured IDE.

A powerful LaTeX editor written in Java; features include syntax highlighting, autocompletion, preview (through latex+dvipng or ghostscript), multiple text buffers, symbol palettes, and more ...

A project to make a simple, but complete, bibtex parser using regexes in Java. It is meant as a library for a larger program, and so is not interactive. Testers, contributors, comments and suggestions are more than welcome.

LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.

DragMath is a drag and drop equation editor in the form of a Java applet. Once an expression is created the user can convert it into a variety of different linear syntax for mathematics, including MathML, LaTeX, Maple, Maxima or any user defined style. PLEASE NOTE: active code development has moved to GitHub. https://github.com/maths/dragmath

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

TeXGrapher is an application for drawing graphs and exporting them into code for GraphTeX, which is a package for LaTeX that provides macros for specifying drawings within LaTeX source file.

Program converts HTML pages into LaTeX format. Own mappings between HTML tags and character entities can be defined. CSS formatting properties are also supported (including colours). Implemented in Java.

Bibliography converter. Converts BibTeX bibliographies to Docbook 5.0 bibliography documents. Can be used as a command-line tool, Ant task or as library in other applications.

This tool converts bibtex entries to RDF

Bib-it is a BibTeX frontend and a bibliographic style generator.

The library for convertion from Java to Encapsulated PostScripts documents.

Platformindependend LaTex-Editor realized with Java Swing

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

This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.

TeXConverter is a converter to parse LaTeX input and create representations of the document in other formats (currently HTML, XDocs(Maven), a specific Wiki-format). Internally a Java object model is used to represent the document, to ease extensibility.

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.