jrcarter/Mine_Detector

Stars
2
Language
Ada
Created about 8 years ago
Updated almost 2 years ago

jrcarter/Mine_Detector

jrcarter

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game

Mine_Detector

The Ada-GUI (https://github.com/jrcarter/Ada_GUI) version of Mine Detector, an intellectually-challenging game

Ada_GUI

An Ada-oriented GUI

PragmARC

The PragmAda Reusable Components

Encryption-utilities

Utility programs for the encryption algorithms included in the PragmAda Reusable Components

Coding_Standard

PragmAda Coding Standard

SparkRC

SPARK Reusable Components

Controlled_IO

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

Papers

Technical articles by Jeffrey R. Carter

AoA_22

Advent of Ada 22 Solutions

Qplt

An Ada-GUI program to quickly produce a plot of a data set

MP

Image_Random

True random numbers from a digital camera

King

An informal decsription of the King software-engineering language

Tic-Tac-Toe

A Gnoga program to play Tic-Tac-Toe

Gnoga_Extra

Types and Create operations for frequently combined Gnoga widgets

Lined

Ada Implementation of the Line Editor from Software Tools