Search Results for "x11"

Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text.

..."IO91pm is the Maidenhead-Locator for Maidenhead" ========================================= Background --------------- * For another little project, I wanted a QTH-Locator calculator for the UNIX (GNU/Linux, bash) command-line. * There are many, some very good, online QTH resources, but I wanted something that would work off-line. * There are also several GUI- (Windows-, X11-, etc.-) based calculators, but I wanted something for the command-line, something that could also be used in (bash-)scripts. * The repository for my GNU/Linux distro has only one such a QTH-calculator. --- This program has a few issues --- Made worse by the adaption for Ubuntu, that removed half of its functionality So, I had to roll my own. ...

Xdvi is a program for displaying DVI files on the X window system. Xdvik is a variant with hyperlink support and other additions, deployed e.g. in the TeX Live distribution.

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.

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.

strid is a tool to generate string diagrams for inclusion in LaTeX documents. It has a syntax which is inspired of Xy-matrix, but dual diagrams are generated.

A boudle of lisp extensions, largely original, for XEmacs with the goal to obtain a more user friendly and powerful interface. The new features include contextual tool bars, new TeX interface and much more.

Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.