Search Results for "source" - Page 5

Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.

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.

A tool to help to sing in tune. It can play a MIDI song and it displays the notes on the screen as they are played. It analyses the voice of the user and displays it on the same screen. More on www.singintune.org

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').

An Ada implementation of nearly all of the XPath 1.0 specification.

ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.

Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.

The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.

Codegroup is a Java application that will allow one to convert binary (or text) computer files in to 5 letter codegroups for transmission over email, landline telephones, radioteletype or Morse Code. Codegroup has internal error correction & limited cryptography capabilities. Codegroup : ZZZZZ YBPIL AIAIG FMOPP CPAAA DGNGP GPGPA ADNJN ELJKO ELIMO GEOHF KIFGP IFBCB PKCPI YJMHE PHBHP PPOBH NCOHD AKLLL AGHFP DEGEF LKELC EAIJI ABAGP AHPPO IHHPH OHPDF YNFPB ALEPO KMPKP Once this...

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.

Gnu/Linux Ada manufacture is small application to create and manage your Ada projects. In systemic vision, or cybernetic prevision.

These files provide a native Ada implementation of some parts of Lapack. The codes provided here are a direct translation (using f2a.pl from Oliver Kellogg) of the Fortran source to Ada. The code is written in the form of a generic package and covers the Lapack routines for - Matrix determinant and inverse on general matrices, - Eigenvalues and eigenvectors of general, real and hermitian symmetric matrices, - Solutions of systems of equations for general, real and hermitian symmetric coefficient matrices, - Singular value decomposition for general matrices Also included is a set of functions (and two procedures) that provide a more familiar Ada style interface to the Lapack routines. ...

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.

Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.

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.

SCOPE is an open source dual redundant traffic signal control environment that was funded by the U.S. Department of Transportation. SCOPE incorporates an open source traffic signal control program developed by Advanced Technologies, Incorporated. SCOPE has pre-timed and actuated control modes. In has min recall, max recall, gap out, max gap, and presence modes that include advanced traffic control concepts.

...There are several games included in the "games" directory. Users can generate their own text-based games with the program. Please upload any games you make to the open source collection, if you want to share your games with others!

Implamentation library for Simatic S5/S7 communication. Based on libnodave.

Open source plugins for Far Manager - windows file manager which is now available under revised BSD license from www.farmanager.com

Helena is an explicit state model checker for high-level Petri nets.

Z9basic aims to be a high integrity & performance version of its predecessor bdbbasic. Language is modernized BASIC with screen and PostgreSQL database support. Targeted at Home, SOHO, Small business, Scientific or Engineering users. This project is incomplete and in limbo, due to a general lack of time. Those looking for this type of application functionality are encouraged to look at the bdbbasic project instead, which is complete and functional.

A security intensive kernel written in Ada.

Simple, interface oriented input/process/output framework for Ada.

Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.

Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.