Ada Distribution System Annex from scratch

A library for implementing authentication/authorization in Ember.js applications.

A kernel for RISCV64 computers written in Ada

Formally verified implementation of the CoAP protocol in SPARK/Ada

Ada2Str is a command line program which creates StrongHelp documentation for Ada specifications. It is supplied with a desktop frontend, but is also useable on its own.

Purpose: Turn xxx/y into y.xxx File extensions used by non RISC OS systems are normally mapped to directories under RISC OS. To do that appropriate directories have to be created, files have to be …

SettingsJS is a JavaScript library which creates a GUI for changing the settings of your app or site. SettingsJS takes your settings data in JSON as input and creates a GUI for viewing and changing…

Meaning finds the meaning of acronyms and displays it in a textarea. You can select the text and drag the selection to other windows or copy it to the clipboard. New acronyms can be added. NOTE: Th…

Stubber consists of a commandline program 'Stubber' by Steven E. Nameroff and a frontend by me. Stubber creates stubs on the basis of a Ada specifikation given to it. The stubs are placed in a Ada …

Pager consists of a commandline program 'Pager2' by Richard Conn and a frontend (this). NOTE: This is a RISC OS app. PAGER2 is a tool for creating paged files, extracting the component files from a…

NameMapper scans a directory for ada sourcefiles (both body and specifications) and creates the file gnat.adc containing a pragma Source_File_Name for every file with a name longer than 10 characte…

FileChop is a frontend for GNATchop and therefore requires GNATchop to present in the run path. GNATchop takes a file and searches through that file for compilation units which are placed in separa…

This is a frontend for the program reformat which will reformat and syntax colour Ada source code. The output is either text or RTF depending on what features are selected (syntax colouring => rtf).

AdaDoc consists of a commandline program 'AdaDoc' by Julien Burdy & Vincent Decorges and a frontend (this). To read more about the backend (AdaDoc) go to: http://adadoc.sourceforge.net/

HideIBar automatically brings the iconbar to the front when you move the mouse pointer to the bottum of the screen. A mouse click or key press will hide the iconbar again. NOTE: This is a RISC OS app.

MakeLink creates an 'empty' application which points to another application (the target) of your choice. Double clicking on the new application will run the target application, selecting 'Help' in …

MakeDir makes the handling of archives easier. It creates a directory based on the filename of the archive, adapts the name to RISC OS name-standards and opens the directory. NOTE: This is a RISC O…

SpriteLib splits sprite files into separate files. Sprites with the same name are combined into the same file. This makes comparing sprites from different sprite sets easy. NOTE: This is a RISC OS …

InsertIcon inserts sprites into either the normal spritepool or the priority sprite pool introduced with RISC OS Select. It can also replace the toolsprites. NOTE: This is a RISC OS app.

The purpose of BCache is to offer a quick and efficient way of altering the state of the cache. It is a rather simple program (the b means basic), so it doesn't offer any timing like reactivating t…

Text2HTML is a command line program which converts text files to HTML. It is supplied with a desktop frontend, but is also useable on its own. NOTE: This is a RISC OS app.

RiscMovie keeps track of your movie collection. For each movie you can set the genre, mediatype, audio tracks and subtitles. Each movie can have up to 3 titles (e.g. original and English). Multiple…

Lender is a small 'database' which will keep a list of all the things people borrow from you thus allowing you to keep track of these things. NOTE: Lender is a RISC OS app.

Drone relieves the programmer of the more monotonous work related with creating a new application as it creates all necessary files automatically. Which files are created and the contents of those …

A file-selection dialog for obtain full path names of files on the computer that is running the program

The code for bracke.dk

Thoughts about technology, blogging, coding and the web with focus on modern web technologies like CSS3 and HTML5

The PragmAda Reusable Components

Creation of bar codes

Some Advent of Ada 2023 solutions