OSI-Approved Open Source (217)
- GNU General Public License version 2.0 (113)
- GNU Library or Lesser General Public License version 2.0 (38)
- GNU General Public License version 3.0 (28)
- BSD License (19)
- MIT License (15)
- GNU Library or Lesser General Public License version 3.0 (8)
- Academic Free License (4)
- Apache License V2.0 (3)
- Artistic License (2)
- Attribution Assurance License (2)
- Adaptive Public License (1)
- Apache Software License (1)
- Apple Public Source License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- Other License (13)
- Public Domain (9)
- Creative Commons Attribution License (3)
- Linux (221)
- Windows (193)
Grouping and Descriptive Categories (165)
- All POSIX (79)
- OS Portable (59)
- All 32-bit MS Windows (52)
- 32-bit MS Windows (20)
- 64-bit MS Windows (19)
- All BSD Platforms (19)
- OS Independent (18)
- 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 (140)
- Android (95)
- BSD (78)
- Modern (76)
- Other Operating Systems (23)
- Emulation and API Compatibility (20)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: Ada ×
Very Simple GUI for windows "net send" command using java (1.4.2_06 or newer). Allows a single message but multiple receivers inside the same windows network. Available contacts, inside the netwrok, are shown using the "contacts list" button.1 weekly downloads
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
Offers a TKinter graphical user interface to the management of ACLs.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
Scrabble game in Gtk.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.
ADBI is a library to provide unified access to SQL databases from Ada. This is thick uniform binding to vendor-specific database call interfaces.
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.
A standalone, portable package for producing PDF documents
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).
An SSH implementation in Ada 2005, based on libadacrypt-dev.
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).
Adagio is a Gnutella2 server which aims to provide a very configurable, highly reliable cross-platform daemon.
Online game and portal engine.
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.