Search Results for "gnu/linux" - Page 6

...In has min recall, max recall, gap out, max gap, and presence modes that include advanced traffic control concepts. SCOPE interfaces with both NEMA-TS2 and Intelligent Transportation Systems (ITS) traffic cabinets. SCOPE executes under Linux or Windows. Currently it runs on a Linux based PC (used for concept and unit testing), a PowerPC prototype board with various I/O connectors (used for integration testing) and an Advanced Traffic Controller. SCOPE has the ability to simulate 64 traffic sensors and 8 pedestrian calls. It has several menu options to facilitate real time logging and debugging. ...

Cryptfile employed cryptographic primitives in an unsafe way. If you have files protected with Cryptfile, please migrate them to Sidony, Truecrypt, or another secure tool.

C.Y.O. Adventures is an Ada 2005 compatible text-based game player and game generator. The games are structured as "decision trees." You can choose options at each game branch to decide the path you want to go in the game. 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.

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.

C2Ada is a translator from the C programming language to the Ada programming language.

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.

Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.

Develop a set of Ada bindings to the Open Sourced Enea Linx drivers for Linux.

The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.

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.

CORALLO aims to be a portable media-independent module for reliable and efficient live streaming of multimedia data over peer-to-peer networks.

A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.

Un petit simulateur de collision de particules codé en langage ADA (utilisant la SDL pour l'affichage). A small simulator of particule collisions coded in ADA (using the SDL for graphics).

The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap

Inspiring Operating System replaces Windows 8, Vista, XP and Mac OS X. (Are you tired of nasty viruses, worms, trojans, rootkits, dialers, spyware, and malware?). If so, make a smart move and get a newbie friendly free Linux Operating System today!

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]

This project contains various examples, ported from Qt4 C++ to Ada language

An Ada binding to the libplayerc client library of Player/Stage robot platform.

An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.

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.