OStatic

GGI stands for General Graphics Interface , and it is a project that aims to develop a reliable, stable and fast graphics system that works everywher...

Bibliophile is a loose grouping of independent OS or GPL bibliographic systems and aims at promoting discussion, standards and the development of comm...

Calc2LaTeX is an OpenOffice.org Calc (Spreadsheet) macro for converting tables. It makes making tables on LaTeX very easy.

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

University Schedule Planner is an application with a web interfaced program that, given a set of teachers, a set of Studends and a set of classes each...

TCLFT is a small command line tool that lets you translate German texts and phrases to Fraenkisch, a South German language. Please read the documentat...

The Vocatout is a good program to learn vocabulary, you can use it to learn all the languages in the whole world. You can also learn capitals, search ...

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the internatio...

The goal of the project is the automatic treatment of an agenda pictures in order to convert it into a digital agenda.

"unicus florae liber rationem", It’s an attempt to generate a Unic Flora’s Catalogue Protocol, for the internet ...