ASCL shall provide Ada 95 components to ease the developement of applications wirtten in Ada 95.This will be done by collecting freely available components and to integrate them into a single Ada 95 library.
ADBI is a library to provide unified access to SQL databases from Ada. This is thick uniform binding to vendor-specific database call interfaces.
Ada to GXL is a factextractor translating from Ada Source code to the Graph eXchange Language (http://www.gupro.de/GXL/) to support reengineering. The Ada ASIS library and the GNAT compiler will be used for the translation.
A collection of generic Ada95 packages and GADT's to allow quick construction of programs and systems.
Ada 95/2005 Bindings for RDM Embedded Database (Birdstep)
Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.
Some Random Stuff to try out the facilities.
Online game and portal engine.
Open source version of the jsonb engine.
An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.
CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
This is a easy-to-use Chinese Lunar Calendar Under *nix &BSD.
Experimental Compiler Library And Tools. Complete Ada 2005 compiler, written in Ada 2005 using literate programming techniques. Initially to target Bachar IA-32 v1 kernel for AdaOS (project 'bachar').
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
Una asociacion filial a la FSF/GNU, para acercar el mundo del Free Software a Madrid.
FracAda is the Ada 2005 implementation of the Fractal component model [http://fractal.ow2.org/] It is an experimental project using the GNAT (GPL) compiler
G3C provides the main features for 3D-game developers: 3D rendering engine based on openGL, collision detection, physical rules, p2p network... A game-sample will be avaible, binding a wargame, a flight simulator, a first person shooter, a MMOG...
Ada compiler support for TI MSP430 processors
Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project.
Multilingual Typesetting System (MTS), Use unicode to typeset multilingual document.
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
Multifunctional development tool. Contains: Compiler, DBMS Libs, Network Libs, Forms support, IDE. Can be used as CRM or CMS system. Also it can compile and run some applications. Supports GCC. Interfaces: CLI, Terminal, CGI. GNAT requires.
OS based on Agent based Security with a new type of split kernel and agents platform.
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)
X* is a powerful, extensible programming language that is using an Extensible Entity approach (A very enhanced OOP). I've been programming for the past 10 years with dozens of Programming Languages from different Paradigms... I wanted more.