OSI-Approved Open Source (146)
- GNU General Public License version 2.0 (73)
- GNU Library or Lesser General Public License version 2.0 (33)
- GNU General Public License version 3.0 (15)
- BSD License (13)
- MIT License (10)
- GNU Library or Lesser General Public License version 3.0 (7)
- Adaptive Public License (1)
- Apache License V2.0 (1)
- Apache Software License (1)
- Apple Public Source License (1)
- Artistic License (1)
- Attribution Assurance License (1)
- Eclipse Public License (1)
- ISC License (1)
- Python License (1)
- Other License (10)
- Public Domain (5)
- Creative Commons Attribution License (3)
- Linux (144)
- Windows (127)
- Grouping and Descriptive Categories (113)
- Mac (97)
- Android (62)
- BSD (52)
- Modern (47)
- Other Operating Systems (16)
- Emulation and API Compatibility (15)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
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
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 multi-purpose Ada library.
APQ is an Ada95 thick binding to allow Ada SQL client programs to access PostgreSQL, MySQL and Sybase database systems. The project is now hosted at http://framework.kow.com.br
ASTK is a development toolkit for Ada network programming. it provides synchronous (Ada Task) and asynchronous (Unix poll) network server frameworks so that programmer can focus on server data following procedure programing.
Ada Cryptographic Objects (ACO) is an Ada library of cryptographic algorithms and related services.
Implementation of a Fit server for Ada.
This is a logging API for Ada. It's not a port of log4j. This library seeks to be ultra-flexible whereas log4j was designed to be efficient. The design is essentially a graph of message stream arcs and message processing nodes.
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.
Ada binding to BLAS
A collection of generic Ada95 packages and GADT's to allow quick construction of programs and systems.
AdaMOF is the mof library for ada progpramming language.
AdaMultimedia project aim to provide a full Ada written library for multimedia contents (Image, Sound and Video).
Ada 95/2005 Bindings for RDM Embedded Database (Birdstep)
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).
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.
Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
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.
Graphical browser for CORBA services.
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.
This is a easy-to-use Chinese Lunar Calendar Under *nix &BSD.
DAWS is fast and scalable web server capable of running on a cluster. DAWS is written entirely in Ada.
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').