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

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

Pattern recognition software package. It includes several classification and clustering algorithms. It can read data from a set of images, an ASCII fi...

Corporative Publishing System. A Content Management System for enterprise scale use, which needs to publish a large amount of content via web. The sys...

GUNS is a powerful, fast and reliable server package for Windows built on the last stable versions of Apache, PHP, MySQL, Perl, phpMyAdmin and Zend Op...

DivLib is a library for make games, with the DivGames Studio instruccions. Is too easy for use! Try it!

Surviving bots is continuous software application in Java that will guide robots to search for energy source around it, tap it and explore ahead for s...