Open Source Ada Software Development Software - Page 3

A GNAT/Ada95 GNU autotools project generator. Adaprojet quickly setups an entire GNU autools project for Ada with a few simple commands. Adaprojet makes it easy to use the familiar configure, make, and make install with Ada.

Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.

Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.

Arborvitae is a library and sample application using Ada Semantic Interface Specification (ASIS) to allow developers to understand the web of source files that are utilized within an analyzed set of Ada packages.

An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.

This is an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.

C2Ada is a translator from the C programming language to the Ada programming language.

The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.

Checkstyle4Ada provides an extension to Checkstyle, which enables Checkstyle to be used with Ada95 sources. It is packaged as an Eclipse fragment, so it can be used with eclipse-cs without modification.

ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License.

DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by only using manufacturer’s software where the same permission applies).

Deepend is a storage pool with subpool capabilities for Ada 2022, Ada 2012, Ada 2005, and Ada 95. Memory allocations can be associated with subpools and subpools can be deallocated as a whole which provides a safer alternative than managing deletions of individual objects. It also is likely to be more deterministic and efficient than garbage collection.

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').

Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.

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

Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. A rich set of GTK+ GUI widgets is provided.

Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.

With GNAT GPL 2013, AdaCore have extracted internal compiler components into a library called gnat_util, which is used by (at least) ASIS and GNATColl. GNAT Util GPL 2013 contains components from the GNAT GPL 2013 compiler. At least for ASIS, the components used to build it must match the components in the compiler, so if building ASIS for use with (for example) FSF GCC 4.8.0 a version of GNAT Util is needed which contains components from FSF GCC 4.8.0. This project provides such a library. The code is released under GPL V3.0 without any Runtime Exception, because the compiler components are themselves pure GPL. NOTE: This library was written to support building Ada tools for Darwin (Mac OS X), and contains Darwin-specific choices.

To port the excellent and widely used GNAT package heirarchy to other Ada95 compilers - primarly Aonix ObjectAda/Windows - by removing the GNAT specific language extensions.

GEL is a collection of embedded libraries and examples for 68HC11 and 68HC12 microcontrollers. It provides various embedded libraries like: - a small libc - an event driven library - LCD 128x64 graphical library - robot library

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...

Port of Gnat ADA compiler to support descently ARM architectures. The project targets mainly Cortex-Mx CPUs

Helena is an explicit state model checker for high-level Petri nets.

The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported