- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
C2Ada is a translator from the C programming language to the Ada programming language.
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
A project to manage and making easy CRM for humanity organisations.This will recolt all data in all the world about kabonfootprint action. http://www.kabonfootprint-gov.com
A native Windows port of the GNU Compiler Collection (GCC)1,579,895 weekly downloads
Traditional arcade games require players to deposit money in the machines in order to keep playing. Players can then continue the game in order to try to advance to the next level and beat the enemies, luckily for arcade game.
GCC for 32-bit and 64-bit Windows with a real installer & updater14,762 weekly downloads
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 international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
Very Simple GUI for windows "net send" command using java (1.4.2_06 or newer). Allows a single message but multiple receivers inside the same windows network. Available contacts, inside the netwrok, are shown using the "contacts list" button.1 weekly downloads
Scrabble game in Gtk.3 weekly downloads