Search Results for "open source workflow software"

EQ Track purpose is to provide amateur telescope makers (ATM) with electronic board schematics and embedded software to control their telescope mount via stepping motors. EQ Track comes in different "flavors" : - "Basic" controls the right ascension and declination motors of an equatorial mount. - "Go To" controls the motors of a mount in any orientation (ie. equatorial, altazimuth, alt-alt), to point and track equatorial coordinates.

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

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.

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

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.