The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
Ada binding for GNOME ORBit CORBA ORB
ORBit-Ada furnishes an Ada binding to the ORBit Corba ORB. ORBit-Ada is Free Software (OpenSource), copyrighted under the GPL and GMGPL.
OpenCAGE (Open Computer Aided Graph Editor) is a generic graph editor. It is written in Ada95 and GtkAda.
A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi
Opiate Games is a collective of designers, programmers, planners, and modelers. We focus on Modifications to popular engines and are currently working on a revolutionary graphics rendering API of our own. Opiate games currently have two projects underway
This classic Othello game is completely written in Ada and GtkAda for Linux.
Offer a simple solution for two users doing P2P video conference
A platform independent poker timer.
Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
Ada interface to OS with Ada project utilities
Simple window OS interface with Ada project utilities
Ada projects - for educational purposes. Each is a small project illustrating a particular tool, technique. Ada is the primary language but will touch upon Qt, Networking, Image processing and so on.
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.
This project contains various examples, ported from Qt4 C++ to Ada language
It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
Multifunctional development tool. Contains: Compiler, DBMS Libs, Network Libs, Forms support, IDE. Can be used as CRM or CMS system. Also it can compile and run some applications. Supports GCC. Interfaces: CLI, Terminal, CGI. GNAT requires.
The counter-example generator for SPARK
Everything for the best Polish UDP LAN communicator Wszystko dla najlepszego polskiego chata sieciowego - RivChat
Professional music typesetting, according to the book "The Art Of Music Copying" by Clinton Roemer. Reads MusicXML, CMN, ABC and Guido. Produces MIDI, EPS, PDF, PNG and SVG; from small images for the web to full printable sheet music.
OS based on Agent based Security with a new type of split kernel and agents platform.
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.
For Truly Distributed Systems
This is the home of the development of the Safir SDK Core open source platform.
A software components library
The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix expression parsing tools. Implementations of some lock-free shared data structures are provided.
A security intensive kernel written in Ada.
A simple (almost a demo) ERP written using the AdaWorks framework (http://adaworks.net/adaworks)