Jeffrey R. Carter (@jrcarter)
github

jrcarter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    103
  • Global Rank 203,560 (Top 8 %)
  • Followers 35
  • Following 11
  • Registered almost 9 years ago
  • Most used languages
    Ada
         100.0 %

Top repositories

1

Ada_GUI

An Ada-oriented GUI
Ada
36
star
2

PragmARC

The PragmAda Reusable Components
Ada
27
star
3

Coding_Standard

PragmAda Coding Standard
5
star
4

Encryption-utilities

Utility programs for the encryption algorithms included in the PragmAda Reusable Components
Ada
5
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

Qplt

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

AoA_22

Advent of Ada 22 Solutions
Ada
2
star
9

MP

A Music Player
Ada
2
star
10

Papers

Technical articles by Jeffrey R. Carter
2
star
11

Image_Random

True random numbers from a digital camera
Ada
2
star
12

Image_IO

Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats
Ada
2
star
13

CRC-32

Cyclic Redundancy Check to verify data integrity (ISO 3309)
Ada
2
star
14

Mine_Detector

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

King

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

Tic-Tac-Toe

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

Gnoga_Extra

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

Lined

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

Z_Compression

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

Binary_Trees

Ordered binary trees implemented without access types
Ada
1
star