Jeffrey R. Carter (@jrcarter)
github

jrcarter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    93
  • Global Rank 211,847 (Top 8 %)
  • Followers 33
  • Following 11
  • Registered over 8 years ago
  • Most used languages
    Ada
         100.0 %

Top repositories

1

Ada_GUI

An Ada-oriented GUI
Ada
34
star
2

PragmARC

The PragmAda Reusable Components
Ada
26
star
3

Encryption-utilities

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

Coding_Standard

PragmAda Coding Standard
4
star
5

SparkRC

SPARK Reusable Components
Ada
3
star
6

Controlled_IO

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

Papers

Technical articles by Jeffrey R. Carter
2
star
8

AoA_22

Advent of Ada 22 Solutions
Ada
2
star
9

Qplt

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

MP

A Music Player
Ada
2
star
11

Image_Random

True random numbers from a digital camera
Ada
2
star
12

Mine_Detector

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

King

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

Tic-Tac-Toe

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

Gnoga_Extra

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

Lined

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