Search Results for "webmin-module-1.1-4.wbm"

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 provides binary packages for the Ada front end of GNU compiler collection. The project also provides various Ada libraries like the Ada Web Server and Ada aware Integrated Development Environments (gps and vim). For up-to-date releases of the macOS compiler, see https://github.com/simonjwright/distributing-gcc/releases

... from Alex, you can still update Msys2 packages from his server though. MinGW64 packages have to many changes compared to Alex version so those will not upgrade but im working on creating my own package server. Current Msys2/MinGW64 gcc is now 6.2.0-4 and binutils 2.27. New packages will be uploaded shortly. Stay tuned for more changes.

AdaGate is a kid-friendly 3D sokoban puzzle game within a Stargate / Portal fantasy setting. It is a great example of modern OpenGL programming using the Ada programming language. It runs on Windows, OSX, or Linux. While searching a remote south-seas atoll for remnants of a lost American heroine, a stargate kawoosh lures you into 4 strange dungeons. Escape will require the logical rearrangement of weird power cells [ZPMs] that roll in only two directions. Shoot your portal guns...

Ada contributions : 1/Lorenz is a small animation program which draws the Lorenz attractor using GTK+. For maximum portability, it uses Ada and GTKAda with a Glade3 interface Windows executable bundled with all the GTK DLL's is provided. Upgraded to Gtk3 in 2017 2/Thin Ada binding to PCRE regular expression. 3/Gate3 : Ada code sketcher for glade3. generates an Ada prototype from a XML file. Enables RAD of user interface with glade 4/Julia set with GtkAda 5/OpenGL demos within a Gtk window...

ZanyBlue: Ada libraries towards a finite element framework

The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs. The project is now superseded by the Alire crates - [AVRAda_RTS](https://github.com/RREE/AVRAda_RTS) - [AVRAda_MCU](https://github.com/RREE/AVRAda_MCU) - [AVRAda_Lib](https://github.com/RREE/AVRAda_Lib) -...

Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.

An Ada implementation of nearly all of the XPath 1.0 specification.

ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.

Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.

C2Ada is a translator from the C programming language to the Ada programming language.

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.

A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code

This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.

Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.

This is an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.

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

To port the excellent and widely used GNAT package heirarchy to other Ada95 compilers - primarly Aonix ObjectAda/Windows - by removing the GNAT specific language extensions.

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.

A browser for Ada source Libraries based on unit names instead of file names. Illustrates use of aflex, gnat library packages, GtkAda in a platform independant fashion.

Implementation of a Fit server for Ada.