jrcarter

Pinned Repositories

Ada_GUI
An Ada-oriented GUI
Language:Ada37 8 122
AoA_22
Advent of Ada 22 Solutions
Language:Ada2 2 00
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
2 0 00
Coding_Standard
PragmAda Coding Standard
5 2 00
Controlled_IO
Files that are open while they exist and closed when they don't
Language:Ada3 2 02
Encryption-utilities
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
Language:Ada5 3 12
Image_IO
Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats
Language:Ada2 1 11
Image_Random
True random numbers from a digital camera
Language:Ada2 2 01
PragmARC
The PragmAda Reusable Components
Language:Ada27 10 96
SparkRC
SPARK Reusable Components
Language:Ada30

jrcarter's Repositories

jrcarter/Ada_GUI
An Ada-oriented GUI
Language:Ada37 8 122
jrcarter/PragmARC
The PragmAda Reusable Components
Language:Ada27 10 96
jrcarter/Coding_Standard
PragmAda Coding Standard
5 2 00
jrcarter/Encryption-utilities
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
Language:Ada5 3 12
jrcarter/Controlled_IO
Files that are open while they exist and closed when they don't
Language:Ada3 2 02
jrcarter/SparkRC
SPARK Reusable Components
Language:Ada30
jrcarter/AoA_22
Advent of Ada 22 Solutions
Language:Ada2 2 00
jrcarter/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
2 0 00
jrcarter/Image_IO
Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats
Language:Ada2 1 11
jrcarter/Image_Random
True random numbers from a digital camera
Language:Ada2 2 01
jrcarter/Mine_Detector
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Language:Ada2 3 02
jrcarter/MP
A Music Player
Language:Ada2 2 01
jrcarter/Papers
Technical articles by Jeffrey R. Carter
2
jrcarter/Qplt
An Ada-GUI program to quickly produce a plot of a data set
Language:Ada2 2 11
jrcarter/Binary_Trees
Ordered binary trees implemented without access types
Language:Ada1
jrcarter/Gnoga_Extra
Types and Create operations for frequently combined Gnoga widgets
Language:Ada1 1 01
jrcarter/King
An informal decsription of the King software-engineering language
1 1 00
jrcarter/Lined
Ada Implementation of the Line Editor from Software Tools
Language:Ada1 2 11
jrcarter/Tic-Tac-Toe
A Gnoga program to play Tic-Tac-Toe
Language:Ada1 1 0
jrcarter/AoA_23
Some Advent of Ada 2023 solutions
Language:Ada
jrcarter/Bar_Code_Drawing
Creation of bar codes
Language:Ada1 0
jrcarter/Chattanooga
Chattanooga, a simple internet chat application using Gnoga
Language:Ada1 1
jrcarter/DB_Maker
A generic for creating simple DBs (one table in an RDBMS) with PragmARC.Persistent_Skip_List_Unbounded and a Gnoga/Ada-GUI UI.
Language:Ada2 01
jrcarter/Gnoga_Bar_Codes
Widget for creating bar codes with Gnoga
Language:Ada1 0
jrcarter/Gnoga_File_Selection
A file-selection dialog for obtain full path names of files on the computer that is running the program
Language:Ada0 01
jrcarter/Password_Gen
A password generator using Gnoga
Language:Ada1 0
jrcarter/Random_Int
A simple Gnoga program to generate random integers
Language:Ada1 0
jrcarter/Universal-Text-File
Proposed universal format for Unicode text files
Language:Ada