OSI-Approved Open Source (168)
- GNU General Public License version 2.0 (85)
- GNU Library or Lesser General Public License version 2.0 (31)
- GNU General Public License version 3.0 (22)
- BSD License (14)
- MIT License (14)
- GNU Library or Lesser General Public License version 3.0 (7)
- Academic Free License (3)
- Apache License V2.0 (3)
- Artistic License (2)
- Attribution Assurance License (2)
- Apache Software License (1)
- Apple Public Source License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- ISC License (1)
- Other License (9)
- Public Domain (8)
- Creative Commons Attribution License (3)
- Linux (172)
Grouping and Descriptive Categories (133)
- OS Portable (57)
- All 32-bit MS Windows (52)
- All POSIX (48)
- 32-bit MS Windows (20)
- 64-bit MS Windows (19)
- OS Independent (18)
- All BSD Platforms (16)
- 32-bit MS Windows (7)
- Project is an Operating System Kernel (4)
- Project is an Operating System Distribution (2)
- Classic 8-bit Operating Systems (1)
- Project is OS Distribution-Specific (1)
- Mac (131)
- Android (95)
- BSD (47)
- Modern (43)
- Emulation and API Compatibility (20)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A platform independent poker timer.1 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.2 weekly downloads
ADBI is a library to provide unified access to SQL databases from Ada. This is thick uniform binding to vendor-specific database call interfaces.
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.
CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
a new runtime core platform6 weekly downloads
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
Avalgrind is an Ada binding to the programmatic API of the Valgrind toolset.
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.
A security intensive kernel written in Ada.1 weekly downloads
Simple, interface oriented input/process/output framework for Ada.
Projet d'Ada L3 : réaliser le gestionnaire d'un bulletin de notes (énoncé : http://www.univ-orleans.fr/sciences/info/ressources/webada/Fiches/Paresseux/sujet/enonce.html?maintitle=mini-projet)
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.1 weekly downloads
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).
DirectX binding to Ada Notice:the dinput package is generated by mannual,maybe exist fault,the Interface in others are maked by program(Cpp interface to ada).The packages depend on win32 binding,you should modify win32.rpcdce,in the GUID define,char_arra2 weekly downloads
Offer a simple solution for two users doing P2P video conference
Safety Critical Distributed building management system for a community. This section of the project represents the Ada server servicing requests and sensor data from the 802.15.4 network automation.
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
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.1 weekly downloads
The Ada 2005 standard defines real and complex matrix and vector operations. Not every possible operation is supported, so for example only symmetric or hermitian matrices can be solved. This project provides extensions to the Standard for GNAT. The software is issued under the GPL Version 3 with the GCC Runtime Library Exception.1 weekly downloads
Dequesterity [dek-ster-i-tee] is an assortment of deque/buffer generics written in Ada 2005 that consist of building blocks that may be combined in various ways to create higher abstraction buffers.1 weekly downloads
HAC Ada Compiler - experimental Ada compiler fully in Ada1 weekly downloads
Online game and portal engine.
Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers.1 weekly downloads