Search Results for "linux software development"

The ZLib.Ada is a thick binding to the popular compression/decompression library ZLib http://www.gzip.org/zlib/. ZLib.Ada provide Ada style access to the ZLib C library.

DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by only using manufacturer’s software where the same permission applies).

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.

Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project.

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

Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.

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.

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.

GEL is a collection of embedded libraries and examples for 68HC11 and 68HC12 microcontrollers. It provides various embedded libraries like: - a small libc - an event driven library - LCD 128x64 graphical library - robot library

OS based on Agent based Security with a new type of split kernel and agents platform.

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.