GCC for 32-bit and 64-bit Windows with a real installer & updater
The most recent stable releases from the GCC compiler project, for 32-bit and 64-bit Windows, cleverly disguised with a real installer & updater.
GHDL - a VHDL simulator
GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository.
The Ada 95 Booch Components is a container library, supporting Bags, Collections, Maps, Queues, Rings, Sets, Stacks, and Trees of various flavours, together with supporting utilities. 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. The library is no longer under active development.
Ada cross compiler and libraries for AVR µCs
The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs
A#: An Ada port to the Microsoft .NET Framework
ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
A collection of generic Ada95 packages and GADT's to allow quick construction of programs and systems.
This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
Ada 95/2005 Bindings for RDM Embedded Database (Birdstep)
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.
BLibrestez Robotics Software Library Project
http://sourceforge.net/feeds/p/PROJECT-BLIBRESTEZ55ROBOTICS/issueupdates/basic BLIBRESTEZ55ROBOTICSPROJECT/downloads/basic http://sourceforge.net/feeds/p/PROJECT Copyright©2011-2020 BLibrestez55Ro
Text-based adventure game creator and player. Comes with demo games.
C.Y.O. Adventures is an Ada 2005 compatible text-based game player and game generator. The games are structured as "decision trees." You can choose options at each game branch to decide the path you want to go in the game. There are several games included in the "games" directory. Users can generate their own text-based games with the program. Please upload any games you make to the open source collection, if you want to share your games with others!
C2Ada is a translator from the C programming language to the Ada programming language.
CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
ColdFrame generates Ada framework code and documentation from UML models. 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.
Provides access to GNAT compiler internals for AdaCore utilities
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.
Port of Gnat ADA to embedded ARM targets
Port of Gnat ADA compiler to support descently ARM architectures. The project targets mainly Cortex-Mx CPUs
The counter-example generator for SPARK
Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
This is a Linux service, which monitors the wireless communication status and the available access points. It supports WEP/WPA based security. If the connection is broken, then it reconfigures it. If the link quality is low, but there are better networks
XML filter and validator. Can remove superfluous xmlns attributes, expand entities etc. (Command line utility.) Rather fast.
ZanyBlue: Ada libraries towards a finite element framework
Ai engine. Human computer interfacean questing interface. Using: festival, mbora, ibm viavoice, justin, htk, wget curl. Project original name: TTT Test Told Terminal (1992 comodore 64).
ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.