OSI-Approved Open Source (21)
- GNU General Public License version 2.0 (11)
- GNU Library or Lesser General Public License version 2.0 (4)
- Academic Free License (3)
- GNU General Public License version 3.0 (2)
- Adaptive Public License (1)
- Apache License V2.0 (1)
- Artistic License (1)
- Attribution Assurance License (1)
- BSD License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- MIT License (1)
- NASA Open Source Agreement (1)
- Creative Commons Attribution License (1)
- Linux (25)
- Windows (23)
- Android (17)
- Grouping and Descriptive Categories (14)
- Other Operating Systems (6)
- BSD (5)
- Modern (5)
- Embedded Operating Systems (3)
- Emulation and API Compatibility (3)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A Java application for transferring computer files in 5 letter groups12 weekly downloads
a new runtime core platform8 weekly downloads
Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.1 weekly downloads
The Ada Cryptographic Framework (ACF) is a set of Ada packages that implement the most popular cryptographic algorithms. The main goal of the proyect is to implement a complete set of cryptographic primitives entirely in Ada 952 weekly downloads
BLibrestez Robotics Software Library Project1 weekly downloads
Ada compiler support for TI MSP430 processors1 weekly downloads
A security intensive kernel written in Ada.1 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.
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 95/2005 Bindings for RDM Embedded Database (Birdstep)
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.
CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
CORALLO aims to be a portable media-independent module for reliable and efficient live streaming of multimedia data over peer-to-peer networks.
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').
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
GReeTinGS - GReeTinGS is a Real Time Generic Scheduler GreeTingS is an Ada library which intends to provide a generic API to schedule real time tasks using various algorithms. The library contains a few algorithms (RM, EDF, LLF) and is easily extendable
Jumblino is the open source aircraft development project, targeting the complete development of a community aircraft. Complete community control of the aircraft parametrics will lead to the etraordinary development.
Multilingual Typesetting System (MTS), Use unicode to typeset multilingual document.
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
OS based on Agent based Security with a new type of split kernel and agents platform.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
A Web browser with safety focus
X* is a powerful, extensible programming language that is using an Extensible Entity approach (A very enhanced OOP). I've been programming for the past 10 years with dozens of Programming Languages from different Paradigms... I wanted more.
Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
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).