Search Results for "linux server"

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

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

The patron NODAL is at the top of an Tactical and Strategic computer with simple wide text terminal for the W. O. P. R. Joshua is simple dialogic server to play an game of Chess or an Global Thermonuclear War on the network. wterm is joshua client on port 6060 protovision is object oriented program doing Chess Game.

The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix expression parsing tools. Implementations...

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.

anpe is clients/server Ada/Prolog system for natural language traitement with Prolog Engine and Artificial Neural Network with Ada.

Hybrid textual/Graphical Gnu/Linux evolved interface.

Text-Oriented Messaging Interfaces for Ada. Wrappers for various client/server and pub/sub messaging protocols, focusing exclusively on text message communications. Currently supporting AMQP, STOMP, and ZeroMQ.

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.

Adagio is a Gnutella2 server which aims to provide a very configurable, highly reliable cross-platform daemon.

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.

ADA Image Server is server specialized in photo web-publishing. No need to copy the JPEG files on a remote web server, your machine serve it directly to the web with efficient thumbnail generation, bandwidth optimization and inherited skins.

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.

Dreamgate aims at providing MUD players with scriptability on par with zMUD or MUSHClient. Currently we are working on the core processing and scripting architecture. The client can be used as a proxy between the server and a graphical client.

vsman is a server-side volume sharing manager, with a gtk interface. It is currently limited to NFS v3 and NFS V4.

A simple (almost a demo) ERP written using the AdaWorks framework (http://adaworks.net/adaworks)

ASTK is a development toolkit for Ada network programming. it provides synchronous (Ada Task) and asynchronous (Unix poll) network server frameworks so that programmer can focus on server data following procedure programing.

Scrabble game in Gtk.

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

Mail Hail is a mail notification agent for the Jabber instant messaging server. Mail Hail includes Hailbox, an experimental local mail delivery agent.

DAWS is fast and scalable web server capable of running on a cluster. DAWS is written entirely in Ada.

Seeks to be a complete backup suite for computers.

Provides a Python interpreter binding for Ada 95 programs.

Una asociacion filial a la FSF/GNU, para acercar el mundo del Free Software a Madrid.