jrcarter/PragmARC jrcarter/PragmARC

Algorithms, Containers and Protocols
  • Stars
    star
    26
  • Rank 900,219 (Top 19 %)
  • Language
    Ada
  • Created over 8 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jrcarter/PragmARC
github

jrcarter

Reviews

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

Repository Details

The PragmAda Reusable Components

More Repositories

1

Ada_GUI

An Ada-oriented GUI
Ada
34
star
2

Encryption-utilities

Utility programs for the encryption algorithms included in the PragmAda Reusable Components
Ada
5
star
3

Coding_Standard

PragmAda Coding Standard
4
star
4

SparkRC

SPARK Reusable Components
Ada
3
star
5

Controlled_IO

Files that are open while they exist and closed when they don't
Ada
3
star
6

Papers

Technical articles by Jeffrey R. Carter
2
star
7

AoA_22

Advent of Ada 22 Solutions
Ada
2
star
8

Qplt

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

MP

A Music Player
Ada
2
star
10

Image_Random

True random numbers from a digital camera
Ada
2
star
11

Mine_Detector

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

King

An informal decsription of the King software-engineering language
1
star
13

Tic-Tac-Toe

A Gnoga program to play Tic-Tac-Toe
Ada
1
star
14

Gnoga_Extra

Types and Create operations for frequently combined Gnoga widgets
Ada
1
star
15

Lined

Ada Implementation of the Line Editor from Software Tools
Ada
1
star