- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
GCC for 32-bit and 64-bit Windows with a real installer & updater19,957 weekly downloads
A native Windows port of the GNU Compiler Collection (GCC)1,435,936 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)
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
C2Ada is a translator from the C programming language to the Ada programming language.
Scrabble game in Gtk.1 weekly downloads
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.2 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.
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