Search Results for "open port testing"

RufaSlider is a collection of 16 different block slider puzzles for kids and casual puzzlers that works on laptops and PCs running Windows, OSX or GNU/Linux. It includes a Klotski-style family, a DirtyDozen family, and a Traffic-Rush family. And now these puzzle families come with AutoSolvers to help you. The Klotski family uses rectangles of 4 sizes: 1x1, 2x2, 1x2, 2x1. The objective in each game is stated near the window top, but usually involves moving a large block to a specified...

MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.

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.

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

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.

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 an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.

A#: An Ada port to the Microsoft .NET Framework

This is a logging API for Ada. It's not a port of log4j. This library seeks to be ultra-flexible whereas log4j was designed to be efficient. The design is essentially a graph of message stream arcs and message processing nodes.

AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).

Parallel Port Eprom Programmer contains a GNU/Linux driver that controls the eprom programmer throught the parallel port and a tool which allows reading and writing eproms.

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

Port of Gnat ADA compiler to support descently ARM architectures. The project targets mainly Cortex-Mx CPUs

Implementation of a Fit server for Ada.