ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).

** ATTENTION **
THIS PROJECT HAS MOVED TO:
https://github.com/pgmodeler/pgmodeler
New releases only will be available on GitHub.
PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database clusters from version 8.0 to 9.1.
Please, let me know how the pgModeler is working on your computer! Help to improve this project, give your feedback about the software or report any bug at "Tickets" page.
Do not forget to detail the bug and if possible attach a screenshot or model database
which expressed the bug.
Follow the pgModeler profile on Facebook/Twitter and be up-to-date with new features, fixes and releases.
https://www.facebook.com/pgmodeler
https://twitter.com/pgmodeler

PROFACE is a User Interface Prototyper developed in Java. The objective of Proface is not code generation, but allow design/creation of interface idea with colors, buttons, texts, images, links and others.

This project is destinated to develop um sistem to make more easy projects to embebed sistems that uses FPGA or Microcontrolers, and the programation in many plataforms and languages. There is a IDE and a hardware system to develop some products.

RekZit is a requirement management web tool attempting to speed a system's requirement elicitation, documentation and management. Its main feature is the separation of template and information, presenting data in different ways to different people.