Project has been move to https://github.com/ciaa/Firmware
The project is not more active, we have fix a lot of issue and perform many improvements. These are now deliverd as part of a new project: https://github.com/ciaa/Firmware ---- FreeOSEK is a scalable solution for embedded system. FreeOSEK OS is based on OSEK RTOS specification (OSEK-VDX). visit us in: http://opensek.sourceforge.net
A TCL/TK frontend for the openCONFIGURATOR configuration tool
openCONFIGURATOR TCL/TK GUI is an open-source configuration tool for easy setup, configuration and maintenance of any POWERLINK network. It ideally complements openPOWERLINK, the open source POWERLINK protocol stack for master and slave. THIS APPLICATION IS NO LONGER SUPPORTED. PLEASE INSTALL THE ECLIPSE PLUGIN BASED OPENCONFIGURATOR.
Sistema de Bilhete Único para o transporte público urbano de passageiros. Contempla ponto de venda dos cartões (contactless card) e créditos, validador embarcado, cartão de memória para coleta dos dados e todos os softwares em versão alfa.
M2M-targeted yet another Scheme interpreted language implementation based on open-source code of TinyScheme by Dimitrios Souflis and Jonathan S. Shapiro (see their site at http://tinyscheme.sourceforge.net/home.html).
Proof of correctness of the Marching Cubes algorithm in Coq.