ACMgen

ACMgen is an automatic code generator of Asynchronous Communication Mechanisms (AMC). Its main features includes the generation of C++ source code, SMV models and Petri net models of RRBB, OWBB and OWRRBB ACMs.

Jabuti

Jabuti is a tool to generate state space descriptions of Asynchronous Communication Mechanisms (AMC). Its main feature is the generation of state graphs specifications of RRBB, OWBB and OWRRBB ACMs in the input language of Petrify.

Jararaca

Jararaca is an automatic html album generator. It gets as input a set of pictures and generates a set of html pages. It is construct in perl in a time that there was nothing good enough to me. What a really like on it is that I can use from the command line.

I have abandoned this project. If someone wants to take care of it, mail me.