OSI-Approved Open Source (147)
- 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 (11)
- 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 (145)
- Windows (128)
- Grouping and Descriptive Categories (114)
- Mac (98)
- Android (63)
- 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
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').
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
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
Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
Giant enables fast browsing of large graphs with enhanced analysis features like multiple selections and a fully integrated scripting language.
I'm trying to make this the best image maker/editor in the world.
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.
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.
LibSonic is a library used in Genesis Sonic ROM modification. various data formats are supported, anywhere from a single color, to an entire level.
Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
This project is for Ada developers who would like to develop Ada applications for the Lego Mindstorms NXT.
OpenCAGE (Open Computer Aided Graph Editor) is a generic graph editor. It is written in Ada95 and GtkAda.
This classic Othello game is completely written in Ada and GtkAda for Linux.
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
The counter-example generator for SPARK
OS based on Agent based Security with a new type of split kernel and agents platform.
Simple, interface oriented input/process/output framework for Ada.
SEDModeEd is a GUI mode editor. It can create and modify modefiles for the RISC OS text editor StrongED.
Data structures ('containers') and basic algorithms library for the Ada programming language, emphasising easy use, flexible implementation, and good documentation.
The Nexus Operating System is a planned, realtime multimedia operating system compliant with POSIX standards. Nexus is intended not to become the next fad; it is the OS all developers can develop for without losing market standing in other OS's.
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)
VSH aims at providing GUI programs with some equivalent to powerful services used when running shell programs, such as standard inputs/outputs and the existence of a well-defined shell context with history, current directory and so on.
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.
XML filter and validator. Can remove superfluous xmlns attributes, expand entities etc. (Command line utility.) Rather fast.
XML4Ada95 is a binding to the Apache Xerces package for Ada 95, thus providing the first (and until now only) validating XML-package for Ada 95, making XML-Docs accesible via Standard DOM. For now see www.nodix.de/xml4ada95