Open Source Ada Software - Page 8

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.

RufaSwap, is a simple permuted picture puzzle where the challenge is to restore the picture elements to their proper order. Two elements are selected with cursor clicks to initiate a swap. User controls the level of difficulty. The proper command to extract the archive and maintain the directory structure is "7z x filename". Works on Macs running OS-X, PCs running GNU/Linux, and PCs running Windows. Also see: https://sourceforge.net/projects/adagate/ https://sourceforge.net/projects/rufascube/ https://sourceforge.net/projects/rufasslider/ https://sourceforge.net/projects/sevenslider/

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.

This is the home of the development of the Safir SDK Core open source platform.

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, arbitrary precision arithmetic, 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)

Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.

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.

Text-Oriented Messaging Interfaces for Ada. Wrappers for various client/server and pub/sub messaging protocols, focusing exclusively on text message communications. Currently supporting AMQP, STOMP, and ZeroMQ.

This library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key- insensitive tables are supported.

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)

Virtual MIDI Composer Plug-ins based Run song list potentialy in loop and auto play. Written with Ada and GtkAda 2016 and portmidi. GNU/Linux and MS Windows.

UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate

The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library.

A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code

WLAN 802.11 frame analyzer with educational purposes it will show on different windows : the measures, the MAC data frames, the MAC control frames... Programmed for linux systems using ADA. keywords: ADA, wifi, 802.11, ENST.

vsman is a server-side volume sharing manager, with a gtk interface. It is currently limited to NFS v3 and NFS V4.

WTelecom is a RealTime Software to manage a telecom network. This prototype can be implemented for a production use.

Search and destroy anothers WOPR with more weapons