OSI-Approved Open Source (53)
- GNU General Public License version 2.0 (23)
- MIT License (11)
- GNU Library or Lesser General Public License version 2.0 (10)
- BSD License (5)
- GNU General Public License version 3.0 (3)
- Academic Free License (1)
- Artistic License (1)
- Attribution Assurance License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- ISC License (1)
- NASA Open Source Agreement (1)
- wxWindows Library Licence (1)
- Other License (6)
- Grouping and Descriptive Categories (60)
- Linux (59)
- Windows (58)
- Mac (52)
- Android (47)
- BSD (11)
- Modern (7)
- Other Operating Systems (4)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
FFTW_Ada is an Ada 95 binding to the FFTW library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is written in C. FFTW_Ada allows calls to FFTW from an Ada 95 or 2005 program. FFTW_Ada v2 works with FFTW v3. FFTW_Ada v1 works with FFTW v2.1 weekly downloads
P2Ada is a Pascal to Ada translator. Recognizes particularities of several Pascal dialects: Turbo/Borland/Delphi (mostly), CodeWarrior, ISO, ISO Extended (a bit). Includes a full ayacc / aflex parser & lexer for Ada 95+ with sources.1 weekly downloads
A fully automatic and transparent tool to measure programming language popularity on the Internet.1 weekly downloads
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.2 weekly downloads
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.4 weekly downloads
Unit testing framework for Ada2 weekly downloads
Ada contributions : demos of GTKAda, binding to PCRE1 weekly downloads
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.15 weekly downloads
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.1 weekly downloads
This project contains various examples, ported from Qt4 C++ to Ada language1 weekly downloads
A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi1 weekly downloads
Irin is an online role-playing game set in a mediaeval land. Features simulated organic creatures with evolved motions. Provides a reusable framework for distributed virtual reality simulations.
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
Graphical browser for CORBA services.
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.
AdaMOF is the mof library for ada progpramming language.
Ada 95/2005 Bindings for RDM Embedded Database (Birdstep)
Adagio is a Gnutella2 server which aims to provide a very configurable, highly reliable cross-platform daemon.
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.1 weekly downloads
Qt4Ada is a thick Ada2005 binding for the Qt4 library, trying to reflect in Ada the C++ structure of Qt (inheritance), keeping the Qt spirit while providing an Ada feeling.1 weekly downloads
The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.2 weekly downloads
An other connect4 written in Ada using GtkAda, main language is French. An Artificial Intelligence is provided, you can play against the computer. Un autre Puissance4 écrit en Ada s'appuyant sur GtkAda. Il est pourvu d'une Intelligence Artificielle.1 weekly downloads
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
A framework for building business applications in Ada2005 feature: plugin loading, configuration management, logging facilities, some operating system dependent functions and a full featured generic database environment (APQ + AwDB).
XML filter and validator. Can remove superfluous xmlns attributes, expand entities etc. (Command line utility.) Rather fast.