A native Windows port of the GNU Compiler Collection (GCC)
MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada. The software is issued under the GPL Version 3 with the additional permissions granted by the GCC Runtime Library Exception version 3.1.
A tool to help to sing in tune. It can play a MIDI song and it displays the notes on the screen as they are played. It analyses the voice of the user and displays it on the same screen. More on www.singintune.org
Virtual MIDI Composer Plug-ins based
Virtual MIDI Composer Plug-ins based Run song list potentialy in loop and auto play. Written with Ada and GtkAda 2012 and portmidi. GNU/Linux and MS Windows.
Online game and portal engine.
Open source version of the jsonb engine.
A multilanguage conversion of Ekit Opensource Software
This is a fork from Ekit, a Java Project hosted on Sourceforge.net. The Java source code from Ekit has been converted in about 14 different programming languages: C++, C#, Delphi, IDL, Ada95, Perl, Python, Ruby, VB, XMLSchema... This way, many student may learn the differences between various programming languages. This project is just for fun. The author, the italian philosopher Luigi Usai, did it as a kind of exercice. The port is incomplete. If some of you wants to fork again, you're welcome! Fix the multilanguage mistakes, until everything works! :-) Have a nice hacking day
Jumblino is the open source aircraft development project, targeting the complete development of a community aircraft. Complete community control of the aircraft parametrics will lead to the etraordinary development.
The counter-example generator for SPARK
Utility to sector-level cleaning your storage with special algorithm.
x_Cleaner erases stored data using the following algorithms*: 1. Britain HMG IS5 - Base (one pass of writing 0x0) 2. Britain HMG IS5 - Enhanced (1-st pass 0x0, 2-nd pass 0x1 and 3-d pass - random values) 3. Russian GOST R-50739-95 (1-st pass 0x0, 2-nd pass-random values) 4. US DoD 5220.22-M(E) (1-st pass 0x0, 2-nd pass 0x1 and 3-d pass - random values) 5. Bruce Schneier's algorithm (1-st pass 0x1, 2-nd pass 0x0, 3-7 passes - random values) x_Cleaner works for Windows XP, Vista,7 and later versions. -- Important! Run x_Cleaner with administrative rights in order to clean non-removable media.