Search Results for "ada"

Text search and replace. Scripting (small tool programs). CGI scripts. Execution of external programs (incl. I/O redirection). Garbage Collection. Extendended Booch Components. CD-Recorder

This project currently provides the GNAT Studio Ada development environment, packaged for macOS. For a source of the compiler and software packages, for various operating systems, see https://ada-lang.io and Alire. For up-to-date releases of the GNAT compiler packaged for macOS, see https://github.com/simonjwright/distributing-gcc/releases. Older releases are retained for historical reasons.

MAX home automation is a GTK+ application to manage ELV/eQ-3 MAX! cubes. A cube is a gateway to a network of radiator thermostats, shutter contacts etc. Radiator and wall-mounted thermostat schedule can be edited uploaded, stored into a file and restored from there. Wall-mounted thermostat temperature graphs are indicated on a separate page sorted by the installation room. HTTP server is provided for integration with HTTP-enabled controls. E.g. thermostats can be queried and controlled...

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 Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada. The software is issued under the GPL Version 3 with the additional permissions granted by the GCC Runtime Library Exception version 3.1.

Hybrid textual/Graphical Gnu/Linux evolved interface.

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

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.

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.

The Nexus Operating System is a planned, realtime multimedia operating system compliant with POSIX standards. Nexus is intended not to become the next fad; it is the OS all developers can develop for without losing market standing in other OS's.

SEDModeEd is a GUI mode editor. It can create and modify modefiles for the RISC OS text editor StrongED.

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

Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.

Scrabble game in Gtk.

Go railfanning on your calculator! The original railfanning game has made its way to several platforms, including the PC.

Seeks to be a complete backup suite for computers.

Provides a Python interpreter binding for Ada 95 programs.