jrcarter/Mine_Detector

Games

Stars
2
Language
Ada
Created almost 9 years ago
Updated over 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

Coding_Standard

PragmAda Coding Standard

Encryption-utilities

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

SparkRC

SPARK Reusable Components

Controlled_IO

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

Qplt

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

AoA_22

Advent of Ada 22 Solutions

MP

Papers

Technical articles by Jeffrey R. Carter

Image_Random

True random numbers from a digital camera

Image_IO

Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats

CRC-32

Cyclic Redundancy Check to verify data integrity (ISO 3309)

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

Z_Compression

Standalone version of the Zlib Deflate compression algorithm, derived from de Montmollin's Zip-Ada

Binary_Trees

Ordered binary trees implemented without access types