- Programming Language: Standard ML ×
Showing page 1 of 1.
Zarbi is a tool to create slideshows. Using a simple XML based input format, it can generates several outputs: HTML (single and splitted), PDF, LaTeX, TXT. Themes are available.1 weekly downloads
Bibgrep indexes and searches BibTex files for entries matching a given query. Its usage is similar to the command ``grep'' and the queries uses a Google-like syntax.1 weekly downloads
7TFT is an special XBMC skin for mini TFT´s (Car, xbox additive LCD´s - or portable screens). It works with 1080i reselution also. Special features of the skin are the big headlines/fonts and the 4 corners control.0 weekly downloads
the Data Representation and Management Language is designed to provide a simple language for developers to manipulate data and guarantee properties about it. This language is based on SML and C.0 weekly downloads