.my-dotfiles

ada-lang-io

An Open Source Community site for Ada

ada2str

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.

ada_gui

An Ada-oriented GUI

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

ada_spark_workflow

A demo of best practices for open-source Ada/SPARK development

adadoc

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/

adaformat

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

adareferencecard

Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library

aflex

Aflex the Ada fast lexical analyser generator

alire

Command-line tool from the Alire project and supporting library

alire-index

Community index for the Alire project

aoa_22

Advent of Ada 22 Solutions

aoa_23

Some Advent of Ada 2023 solutions

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

bar_code_drawing

Creation of bar codes

bcache

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 the cache after 5 seconds or anything like that. NOTE: This is a RISC OS app.

binary_trees

Ordered binary trees implemented without access types

blog-component

Glimmerjs component which displays a blog based on markdown files and index in son format.

bracke

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

bracke-dk

The code for bracke.dk

brackelib

Ada library which contains various utility packages. Currently only a few implementations of abstract data types.

casetracking

Case and support system

controlled_io

Files that are open while they exist and closed when they don't

db_maker

A generic for creating simple DBs (one table in an RDBMS) with PragmARC.Persistent_Skip_List_Unbounded and a Gnoga/Ada-GUI UI.

drake

Glimmer component for experimenting with the Drake equation.

drone

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 files can be changed. NOTE: This is a RISC OS app.

dummyserver

DummyServer is a terminal program that serves dummy content

ember-async-button

Async Button Component for Ember CLI apps

ember-bootstrap

Ember-cli addon for using Bootstrap as native Ember components.